Theorem IsFractional.nsmul

Modification history