Commit 2025-11-14 11:51 a1961309

View on Github →

chore(Logic/Equiv): golf entire Perm.subtypeCongr.symm using rfl (#31237)

Estimated changes