Commit 2026-09-03 16:34 b7cfa6c5
View on Github →refactor(AlgebraicGeometry/Sites/Small): golf and remove some backward.isDefEq.respectTransparency (#41542)
This PR golfs and removes some backward.isDefEq.respectTransparency. Some proofs with the help of Claude, with further golfing by myself.