Theorem FiniteDimensional.finrank_linearMap_self

Modification history