Theorem Subsemiring.closure_isSquare

Modification history