Revision #1670 → #2256 · back to history
addedHahn–Banach theorem (application)8b740f8a50a5
addedEvery field has an algebraic closure7b00b2ebb12f
addedWell-ordering theorem (equivalent to Zorn)235402340570
modifiedGreater than or equal to30532ded1884
| Field | From #1670 | To #2256 |
|---|
| mathlib.module | — | Init.Prelude |
addedLinearly independent sete78970485cc7
addedFinite intersection property6f62d7243a0b
addedBourbaki–Witt theorem9ca1d883c8c8
addedPataraia's theoremaa01a22e2b5c