# Commit 2023-07-16 19:01 bf2428c9

View on Github →feat(order/irreducible): Sup-irreducible elements (#18999) Define sup- and inf- irreducible and prime elements in a lattice.

Mathlib v3 is deprecated. Go to Mathlib v4

feat(order/irreducible): Sup-irreducible elements (#18999) Define sup- and inf- irreducible and prime elements in a lattice.