Theorem FiniteDimensional.of_finrank_pos

Modification history