Theorem IsPowMul.restriction

Modification history