Theorem IsExtrOn.comp_of_mapsTo

Modification history

2026-09-15 09:35
Mathlib/Order/Filter/Extr.lean
chore(Order/Filter/Extr): rename various lemmas (#41863) …
Added IsExtrOn.comp_of_mapsToView on Github →