Definitions bool 1 Doc

At: bool ind 1
1. P: Prop
2. P(false)
3. P(true)
4. b:

P(b)
By: BoolInd 4
Generated subgoals:

None