Searchable sets and ordinals in system T

To upload material, you must first log in.