Theorem div_zero

Modification history