Commit 2026-10-14 16:51 d1683f03

View on Github →

chore(SetTheory/Ordinal/FundamentalSequence): remove backward.isDefEq.respectTransparency (#44861)

Estimated changes