Theorem generateFrom_piUnionᵢInter_le

Modification history