Theorem ContinuousMap.ker_evalStarAlgHom_inter_adjoin_id

Modification history