Theorem ArithmeticFunction.one_eq_delta

Modification history