Commit 2025-11-04 06:43 c751fea0
View on Github →chore(AlgebraicGeometry): use Cover.idx instead of Exists.choose in Cover.ulift (#31236)
This makes it have better simps lemmas.
chore(AlgebraicGeometry): use Cover.idx instead of Exists.choose in Cover.ulift (#31236)
This makes it have better simps lemmas.