Theorem Cycle.length_nil

Modification history