Theorem bit0_pos

Modification history

2024-06-18 08:57

Mathlib/Algebra/Order/Monoid/Defs.lean

chore(*): drop `bit*_mono` (#13914)

Deleted bit0_pos View on Github →

2024-06-15 15:52

Mathlib/Algebra/Order/Monoid/Defs.lean

chore(*): more `since :=` in `deprecated` (#13723)

Modified bit0_pos View on Github →

2022-11-28 20:12

Mathlib/Algebra/Order/Monoid/Defs.lean

feat: port Algebra.Order.Monoid.Defs (#771) …

Added bit0_pos View on Github →