Theorem Set.biInter_mono

Modification history