bool
1
Doc
Def
Dec(P) == P
P
Thm*
decidable__assert
Thm*
decidable__equal_bool
In prior sections:
core
int
1