Library MyTheory.core

From elpi Require Export elpi.
From Coq.Init Require Import Notations.

Notation "x -> y" := (∀ (_ : x), y).