mathlib
a2bc7bea - Golf `int_closed_of_is_dedekind_domain_inv`
Commit
View On GitHub
Commit
5 years ago
Golf `int_closed_of_is_dedekind_domain_inv`
Author
Vierkantor Vierkantor
Committer
Vierkantor Vierkantor
Parents
2aceddc1
FAQ Terms Privacy Refunds Impressum
Loading