Theorem Nat.nth_of_card_le

Modification history

2024-05-31 00:19

Mathlib/Data/Nat/Nth.lean

chore: fix formatting of many misplaced "by"s (#13204)

Modified Nat.nth_of_card_le View on Github →

2023-06-21 10:32

Mathlib/Data/Nat/Nth.lean

feat: port Data.Nat.Nth (#2297)

Added Nat.nth_of_card_le View on Github →