Theorem FreeGroup.Red.nil_iff

Modification history