Theorem ContinuousMap.sup_mem_subalgebra_closure

Modification history