Theorem FiniteDimensional.finrank_linearMap

Modification history