Theorem BoundedContinuousFunction.mem_charPoly

Modification history