mathlib3
bf2428c9 - feat(order/irreducible): Sup-irreducible elements (#18999)

Commit

2 years ago

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

Author

YaelDillies

Parents