Theorem NonUnitalSubsemiring.centralizer_univ

Modification history