Definitions bool 1 Doc

At: assert of ff

false
By: Analyze 0
Generated subgoal:

11. false
False