Theorem bit0_strictMono

Modification history

2024-06-18 08:57

Mathlib/Algebra/Order/Monoid/Unbundled/Basic.lean

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

Deleted bit0_strictMono View on Github →

2023-01-23 12:02

Mathlib/Algebra/Order/Monoid/Lemmas.lean

chore: tidy various files (#1693)

Added bit0_strictMono View on Github →