Theorem Set.ncard_inter_le_ncard_right

Modification history