Add "The intersection of two classes" to iset.mm
Add "The intersection of two classes" to iset.mm

This is a verbatim copy-paste from set.mm; a follow up commit will
make it verify.

metamath/set.mm,metamath/set.mm,metamath/set.mm