Theorem ContinuousMap.adjoin_id_eq_span_one_union

Modification history