Thms
bool
1
Doc
NOTE:
The "guard" { < term > } is used in some lemmas to guide matching heuristics.
guard
Def
{T} == T
Thm* {T}
Type