Intuitionize pm4.65 in iset.mm
Intuitionize pm4.65 in iset.mm

- Add theorem pm4.65r for the reverse direction, including a comment
about the converse.
- Remove pm4.65. Currently unused and depends on ax-3.

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