Theorem GCongrTests.myAnti_strictAntiOn

Modification history

2025-10-27 16:35
MathlibTest/GCongr/inequalities.lean
feat(gcongr): support `@[gcongr]` for `Monotone` and friends (#28339) …
Added GCongrTests.myAnti_strictAntiOnView on Github →