kbuzzard/etale_experiments

Experiments with definition of etale morphisms etc

Lean