Theorem IsFractional.pow

Modification history