Theorem BoundedContinuousFunction.embedding_coeFn

Modification history