Theorem NonUnitalSubsemiring.closure_isSquare

Modification history