Theorem Set.biInter_pair

Modification history