Theorem map_bit1

Modification history

2024-06-10 07:27

Mathlib/Algebra/Ring/Hom/Defs.lean

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

Deleted map_bit1 View on Github →

2023-02-19 17:54

Mathlib/Algebra/Hom/Ring.lean

fix: Port `map_bit1` (#2374)

Added map_bit1 View on Github →