Theorem Rat.mk'_pow

Modification history