Theorem ContinuousMapZero.adjoin_id_dense

Modification history