Commit 2023-03-28 23:29 956b01d8
View on Github →feat: port ordinal fixed point changes (#3155) Ports https://github.com/leanprover-community/mathlib/pull/18322 and https://github.com/leanprover-community/mathlib/pull/18323.
feat: port ordinal fixed point changes (#3155) Ports https://github.com/leanprover-community/mathlib/pull/18322 and https://github.com/leanprover-community/mathlib/pull/18323.