Theorem equivShrink_symm_inv

Modification history

2023-07-01 13:49
Mathlib/Logic/Small/Group.lean
feat: API around Small (#5645) …
Added equivShrink_symm_invView on Github →