ソースを読む順
- hidden
- tarski_0
- tarski
- xboole_0
- xboole_1
- enumset1
- xfamily
- xregular
- xtuple_0
- zfmisc_1
- subset_1
- setfam_1
- relat_1
- fanct_1
- ordinal1
- ordinal2
- ordinal3
- relat_2
- wellord1
- wellord2
- funct_2
- funct_3
- funct_4
- grunc_1
- partfun1
- binop_1
- funcop_1
- finset_1
- card_1
- card_2