Theorem FiniteDimensional.finrank_ulift

Modification history