Commit 2021-02-04 07:48 6df15017
View on Github →feat(algebra/ordered_ring): weaken hypotheses for one_le_two (#6034)
Adjust one_le_two
to not require nontriviality.
feat(algebra/ordered_ring): weaken hypotheses for one_le_two (#6034)
Adjust one_le_two
to not require nontriviality.