10 [ { "natural numbers with infinity" * } {
11 [ "ynat ( ∞ )" "ynat_pred ( ⫰? )" "ynat_succ ( ⫯? )"
12 "ynat_le ( ?≤? )" "ynat_lt ( ?<? )"
13 "ynat_minus ( ? - ? )" "ynat_plus ( ? + ? )"
14 "ynat_max" "ynat_min" * ]
18 [ { "extensions to the library" * } {
19 [ "arith.ma ( ?^? )" * ]
23 [ { "generated logical decomposables" * } {
24 [ "xoa ( ∃∃ ) ( ∨∨ ) ( ∧∧ )" "xoa_props ( ⊥ ) ( ⊤ )" * ]