Theorem FiniteDimensional.rank_linearMap_self

Modification history