Theorem FreeGroup.Red.cons_cons_iff

Modification history