GitHub repository: kbuzzard/etale_experiments
Primary language: Lean
Created: 2022-07-12T14:26:55Z
Description: Experiments with definition of etale morphisms etc