Theorem FiniteDimensional.finrank_linear_map'

Modification history