Theorem ContinuousMap.abs_mem_subalgebra_closure

Modification history