Theorem Algebra.Presentation.dimension_reindex

Modification history