Theorem Nat.dvd_one

Modification history

2024-01-04 03:16
Mathlib/Data/Nat/Basic.lean
chore: bump dependencies (#9424)
Deleted Nat.dvd_oneView on Github →
2023-12-16 00:58
Mathlib/Data/Nat/Basic.lean
feat(Data/Fin): add lemmas (#8974) …
Added Nat.dvd_oneView on Github →