Theorem Algebra.Presentation.relation_mem_ker

Modification history