Theorem ContinuousMap.AlgHom.closure_ker_inter

Modification history