Theorem disjointed_succ

Modification history