Theorem IsFractional.mul

Modification history