mathlib3
245b64ce - Clean up `dim_le_one_of_is_dedekind_domain_inv`
Commit
View On GitHub
Commit
5 years ago
Clean up `dim_le_one_of_is_dedekind_domain_inv`
Author
Vierkantor Vierkantor
Parents
3850b124
FAQ Terms Privacy Refunds Impressum
Loading