Theorem Algebra.Presentation.isFinite_reindex_iff

Modification history