bool
1
Doc
================ GENERAL THEOREMS ================