Theorem disjointed_zero

Modification history