Theorem equivShrink_symm_zero

Modification history

2024-08-16 13:44
Mathlib/Logic/Small/Group.lean
chore: fix some to_additive technical debt (#15852)
Deleted equivShrink_symm_zeroView on Github →
2023-07-01 13:49
Mathlib/Logic/Small/Group.lean
feat: API around Small (#5645) …
Added equivShrink_symm_zeroView on Github →