子 namespace
0子 namespace はありません。
NPAへ戻る
Namespace
Std.Nat
npa-std
Packages
2
Module
63
Theorem
750
Declarations
1016