Theorem NonUnitalSubsemiring.centralizer_eq_top_iff_subset

Modification history