Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-11-06 11:48 43e01caf

View on Github →

split(algebra/order/nonneg): Separate ring and field instances (#17348) Split algebra.order.nonneg into:

  • algebra.order.nonneg.ring for ring instances
  • algebra.order.nonneg.field for field and archimedean instances

Estimated changes