Theorem not_irrational_zero

Modification history