Commit 2023-09-27 23:08 926c0c5f

View on Github →

fix: add symm_map_mul to fix simp issue. (#7407) Zulip thread

Estimated changes

added theorem MulEquiv.symm_map_mul