package inhabitation
Ordering
- Alphabetic
Visibility
- Public
- All
Value Members
- object Inhabitation
-
object
ProofIrrelevance extends SimpleIrrelevanceRule
P:!A, Q:!A |- P = Q