Revision #3002 → #4003 · back to history
addedPlimpton 322 Pythagorean triplesc510546cd151
addedEllipse, parabola, hyperbolae75c21f06d77
modifiedChinese remainder theorema67ae0ce61c3
| Field | From #3002 | To #4003 |
|---|
| mathlib.module | Mathlib.Data.Nat.ChineseRemainder | Mathlib.Data.Nat.ModEq |
addedPascal's triangle / binomial coefficients19ea81fa2d71
addedBinomial coefficients and Pascal's triangle (al-Karaji)d142b2d5fbd3
addedGeneral solution of cubic and quartic equations333c33976467
addedBoolean algebraa8bc37251708
addedGroup, ring, and field276e8e15e9a4
addedTopological group91471aa395a1
addedLie group2cf304d07392
addedCategory theory87b4bace4020
addedFree algebraf7ac8ac7ea37