Theorem Rat.den_zero

Modification history