Theorem BoundedContinuousFunction.isometry_extend

Modification history