Misc iset (#2515)
Misc iset (#2515)

* iset: indent section titles

* iset: put contributor list in diff/modification-friendly one-column format

* iset: format and reorder contributor list

* remove extra blank line
metamath/set.mm,metamath/set.mm,metamath/set.mm