Theorem Set.centralizer_eq_univ

Modification history