Theorem Rat.mk'_eq_divInt

Modification history