Theorem ContinuousMap.sup_mem_closed_subalgebra

Modification history