Theorem BoundedContinuousFunction.coe_restrict

Modification history