Theorem FiniteDimensional.finrank_pi_fintype

Modification history