Theorem Irrational.ne_rational

Modification history