Theorem FiniteDimensional.Submodule.finrank_map_subtype_eq

Modification history