Theorem Ideal.inf_ne_bot_of_ne_bot

Modification history

2026-06-25 07:54
Mathlib/RingTheory/Ideal/Operations.lean
chore: remove unused instances (#41013) …
Modified Ideal.inf_ne_bot_of_ne_botView on Github →
2026-05-11 14:41
Mathlib/RingTheory/Ideal/Operations.lean
feat: add more API for (rel)index and ideals (#39118) …
Added Ideal.inf_ne_bot_of_ne_botView on Github →