PrintForm Definitions exponent Sections AutomataTheory Doc

At: auto2 lemma 0 1 1 1 1 1 1 1
1. T: Type
2. P: TProp
3. x:T. Dec(P(x))
4. x: T
5. P(x)
6. x:T. P(x)

False
By: Witness6 x
Generated subgoals:

None

About:
falseuniversefunctionpropallapply