PrintForm Definitions finite sets Sections AutomataTheory Doc

At: not dec is dec 1 1 1 1 1
1. A: Type
2. P: AProp
3. x:A. P(x) P(x)
4. x:A. P(x)
5. x:A. P(x)

False
By: Analyze 4
Generated subgoal:

14. x: A
5. P(x)
6. x:A. P(x)
False

About:
falseuniversefunctionpropallorapplyexists