Theorem FiniteDimensional.rank_linearMap

Modification history