Theorem ZMod.differentiable_LFunction_of_sum_zero

Modification history