Theorem Set.inter_biInter

Modification history