Theorem Rat.not_irrational

Modification history