Theorem Set.antitoneOn_insert_iff

Modification history

2025-06-14 08:57
Mathlib/Data/Set/Monotone.lean
chore: fix capitalization of two lemmas (#25853)
Added Set.antitoneOn_insert_iffView on Github →