Theorem ContinuousMap.continuous_eval_const

Modification history