Theorem strictMonoOn_Ici_of_pred_lt

Modification history

2023-05-06 08:29
Mathlib/Data/Set/Intervals/Monotone.lean
chore: fix names (#3812) …
Added strictMonoOn_Ici_of_pred_ltView on Github →