Theorem bit1_zero

Modification history

2024-07-15 11:16

Mathlib/Algebra/Group/Basic.lean

chore: remove bit0/bit1 and associated lemmas (#14745) …

Deleted bit1_zero View on Github →

2022-12-08 07:28

Mathlib/Algebra/Group/Basic.lean

feat: port Algebra.Order.[Ring|Field].Defs (#905) …

Added bit1_zero View on Github →