Theorem Rat.mk'_mul_mk'

Modification history