mathlib into adomani_covariant_plus

Commit

3 years ago

Merge branch 'adomani_covariant_plus' of ssh://github.com/leanprover-community/mathlib into adomani_covariant_plus essary, Conflicts: src/algebra/order/monoid_lemmas_pos.lean

Author

adomani

Parents

418762e2

d32ac074

mathlib 695326ae - Merge branch 'adomani_covariant_plus' of ssh://github.com/leanprover-community/mathlib into adomani_covariant_plus

mathlib
695326ae - Merge branch 'adomani_covariant_plus' of ssh://github.com/leanprover-community/mathlib into adomani_covariant_plus