Theorem FreeGroup.Red.Step.cons_left_iff

Modification history