Algebra.lean - haschu/nominal-lean.git - Formalization of nominal sets in Lean 4.

summary refs log tree commit diff

path: root/Algebra.lean

blob: 26109bab1b0977a71e439245cf0609b184b15fde (plain)

1 2	`import Algebra.Terms import Algebra.Derivations`