Theorem Rat.mk'_zero

Modification history