Theorem map_bit0

Modification history

2024-06-10 07:27

Mathlib/Algebra/Ring/Basic.lean

chore(*): drop some bit0/bit1 lemmas (#13679) …

Deleted map_bit0 View on Github →

2022-12-04 13:00

Mathlib/Algebra/Ring/Basic.lean

feat: port algebra.ring.basic (#830) …

Added map_bit0 View on Github →