iset / CZF (#2406)
iset / CZF (#2406)

* iset.mm: restructure my mathbox to show the CZF parts and add head comment; sort mathbox alphabetically

* iset/mathbox: rewording of head comment for CZF

* rewording after review
metamath/set.mm,metamath/set.mm,metamath/set.mm