Theorem ArithmeticFunction.IsMultiplicative.map_gcd

Modification history