Theorem Algebra.FiniteType.exists_fgAlgCatSkeleton

Modification history