Theorem piiUnionInter_singleton

Modification history