Kim Morrison 10bfeba2d9 chore: aligning Int.ediv/fdiv/tdiv theorems (#7266) ... This PR begins the alignment of `Int.ediv/fdiv/tdiv` theorems.		2025-02-28 05:27:40 +00:00
..
Coeffs.lean	feat: rename List.enum(From) to List.zipIdx, and Array/Vector.zipWithIndex to zipIdx (#6800)	2025-01-28 23:34:30 +00:00
Constraint.lean	chore: aligning Int.ediv/fdiv/tdiv theorems (#7266)	2025-02-28 05:27:40 +00:00
Int.lean	chore: split Int.DivModLemmas into Bootstrap and Lemmas (#7162)	2025-02-20 12:05:09 +00:00
IntList.lean	chore: split Int.DivModLemmas into Bootstrap and Lemmas (#7162)	2025-02-20 12:05:09 +00:00
LinearCombo.lean	feat: rename List.enum(From) to List.zipIdx, and Array/Vector.zipWithIndex to zipIdx (#6800)	2025-01-28 23:34:30 +00:00
Logic.lean	chore: update copyrights (#5449)	2024-09-24 05:27:53 +00:00