Theorem NonUnitalNonAssocSemiring.ext_iff

Modification history