Commit 2023-12-21 09:38 e7c657f3

View on Github →

chore(Perm/Basic): golf (#9174) Golf 3 proofs

Estimated changes

modified theorem Equiv.mul_swap_eq_iff
modified theorem Equiv.swap_mul_eq_iff