Def linearEquivShrink

Modification history

2023-07-08 11:26
Mathlib/Logic/Small/Module.lean
feat: API about Small modules (#5769)
Added linearEquivShrinkView on Github →