Theorem FreeGroup.Red.to_append_iff

Modification history