Theorem Set.Ici_mul_Ici_eq

Modification history

2026-02-02 07:19
Mathlib/Algebra/Order/Group/Pointwise/Interval.lean
feat(RingTheory/MvPolynomial): powers of ideal of variables (#33539) …
Added Set.Ici_mul_Ici_eqView on Github →