Theorem BoundedContinuousFunction.char_add_eq_mul

Modification history