Theorem Dvd.dvd.even

Modification history

2024-05-15 09:43

Mathlib/Algebra/Parity.lean

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

Modified Dvd.dvd.even View on Github →

2024-04-19 08:04

Mathlib/Algebra/Parity.lean

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

Modified Dvd.dvd.even View on Github →

2023-01-25 09:35

Mathlib/Algebra/Parity.lean

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

Added Dvd.dvd.even View on Github →