Theorem ContinuousMap.inf_mem_closed_subalgebra

Modification history