Theorem bit0_mono

Modification history

2024-06-18 08:57
Mathlib/Algebra/Order/Monoid/Unbundled/Basic.lean
chore(*): drop `bit*_mono` (#13914)
Deleted bit0_monoView on Github →
2023-08-25 15:49
Mathlib/Algebra/Order/Monoid/Lemmas.lean
chore(Algebra/Order/Group/Defs): 3 line breaks (#6785) …
Modified bit0_monoView on Github →
2022-11-20 21:15
Mathlib/Algebra/Order/Monoid/Lemmas.lean
feat: `#noalign` command; `align.precheck` option (#663) …
Added bit0_monoView on Github →