Theorem Cycle.lists_nil

Modification history