Theorem ContinuousMap.adjoin_id_eq_span_one_add

Modification history