Theorem Algebra.FiniteType.self

Modification history