Pi2Pigeonhole
gapt.examples.Pi2Pigeonhole
object Pi2Pigeonhole extends TacticsProof
Attributes
- Graph
-
- Supertypes
-
class TacticsProofclass TacticsProof0class Objecttrait Matchableclass Any
- Self type
-
Pi2Pigeonhole.type
Members list
In this article