Librarium
Settings

Show (A ∩ B) ⨯ (C ∩ D) = (A ⨯ C) ∩ (B ⨯ D)