Theorem Submodule.coe_subtype

Modification history

2024-09-28 17:13
Mathlib/Algebra/Module/Submodule/LinearMap.lean
chore: rename Submodule.coeSubtype (#17219)
Added Submodule.coe_subtypeView on Github →