mathlib
5d230b71 - Golf `ne_bot_of_is_maximal_of_not_is_field`
Commit
View On GitHub
Commit
5 years ago
Golf `ne_bot_of_is_maximal_of_not_is_field`
Author
Vierkantor Vierkantor
Committer
Vierkantor Vierkantor
Parents
fe5db6a4
FAQ Terms Privacy Refunds Impressum
Loading