UniformSheafyTateDomains
Lean 4 formalisation of the two examples in 'Uniform sheafy Tate rings that are not stably uniform' (Birkbeck-Torzewski), kernel-certified with leanprover/comparator
1-1 of 1 versions of UniformSheafyTateDomains
Sort by
Date
2f45865v4.33.0