More accurate clears after proof using#1278

SkySkimmer wants to merge 1 commit into

MetaRocq:mainMetaRocq/metarocq:mainfrom

SkySkimmer:clearmeSkySkimmer/MetaRocq:clearmeCopy head branch name to clipboard