Theorem FreeGroup.Red.red_iff_irreducible

Modification history