Structures · Order
Order.Ideal.IsPrime
An ideal I is prime if its complement is a filter.
- Defined in
- Mathlib.Order.PrimeIdeal
- Shape
- One type argument · adds compl_filter
Extends1
Extended by0
Nothing extends this class yet.
Concrete types that are instances0
No instance on a concrete type; it is reached through other classes.
How is a type an instance?
Loading the hierarchy index…