Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-06-27 21:45
7c550fc2
View on Github →
chore: delay imports of OrderedRing via PNat (
#14182
)
Estimated changes
Modified
Mathlib.lean
Modified
Mathlib/Computability/Primrec.lean
Modified
Mathlib/Data/PNat/Basic.lean
deleted
def
Equiv.pnatEquivNat
Created
Mathlib/Data/PNat/Equiv.lean
added
def
Equiv.pnatEquivNat
Modified
Mathlib/Data/W/Basic.lean
Modified
Mathlib/Logic/Denumerable.lean
Modified
Mathlib/Logic/Encodable/Basic.lean
Modified
Mathlib/Logic/Equiv/List.lean
Modified
Mathlib/ModelTheory/Ultraproducts.lean
Modified
Mathlib/Order/Filter/AtTopBot.lean
Modified
Mathlib/Order/OrderIsoNat.lean
Modified
Mathlib/Order/SuccPred/LinearLocallyFinite.lean
Modified
Mathlib/Order/WellFoundedSet.lean
Modified
Mathlib/SetTheory/Ordinal/Arithmetic.lean
Modified
Mathlib/SetTheory/Ordinal/Notation.lean