Theorem Tropical.bit0

Modification history

2024-07-15 11:16

Mathlib/Algebra/Tropical/Basic.lean

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

Deleted Tropical.bit0 View on Github →

2023-01-05 12:49

Mathlib/Algebra/Tropical/Basic.lean

feat: port Algebra.Tropical.Basic (#1165) …

Added Tropical.bit0 View on Github →