Uses of Class
primitives.implication.Prod

No usage of primitives.implication.Prod