Theorem Even.trans_dvd

Modification history

2024-05-15 09:43

Mathlib/Algebra/Parity.lean

move(Algebra/Parity): Split file (#12829) …

Modified Even.trans_dvd View on Github →

2024-04-19 08:04

Mathlib/Algebra/Parity.lean

chore(Algebra/Parity): Rename some variables (#12260) …

Modified Even.trans_dvd View on Github →

2023-01-25 09:35

Mathlib/Algebra/Parity.lean

feat: port Data.Nat.Parity (#1661) …

Added Even.trans_dvd View on Github →