Theorem ContinuousMap.ker_evalStarAlgHom_eq_closure_adjoin_id

Modification history