Theorem Cycle.chain_singleton

Modification history