/Nominal/

• ../
• Category.lean
• Equivariance.lean
• Helpers
• Instances
• LambdaCalculus
• Permutations.lean
• Support.lean