Theorem FiniteDimensional.right

Modification history