Theorem isIntegral_leadingCoeff_smul

Modification history