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