Theorem FreeGroup.Red.singleton_iff

Modification history