Theorem equivShrink_smul

Modification history

2025-07-11 19:04

Mathlib/Algebra/Group/Shrink.lean

chore(Algebra/Equiv/TransferInstance): delete duplicated `Shrink` material (#26774) …

Modified equivShrink_smul View on Github →

2024-11-15 19:36

Mathlib/Logic/Small/Group.lean

chore(Algebra/Category): remove a few erws (#19100)

Added equivShrink_smul View on Github →