Commit 2026-05-13 15:45 70b9cc50

View on Github →

feat: custom simp sets for translating between Equiv and algebraic notation (#38359)

Estimated changes

modified theorem Equiv.Perm.iterate_eq_pow