Theorem Set.range_ite_const

Modification history

2026-03-17 23:30
Mathlib/Data/Set/Insert.lean
feat: Nat/Int casts on char two rings (#34622)
Added Set.range_ite_constView on Github →