Theorem BoundedContinuousFunction.char_neg

Modification history