Theorem FreeGroup.Red.sizeof_of_step

Modification history