FormalConjectures/Arxiv/2208.14736/
5 declarations, 4 contain sorry, 0 declared as axioms; 1 files
Files
- ZariskiCancellation.lean 5 declarations
FormalConjectures/Arxiv/2208.14736/5 declarations, 4 contain sorry, 0 declared as axioms; 1 files