mathlib
4d27ecf7 - refactor(order/conditionally_complete_lattice): `csupr_le_csupr` → `csupr_mono` (#13320)

Commit

3 years ago

refactor(order/conditionally_complete_lattice): `csupr_le_csupr` → `csupr_mono` (#13320) For consistency with `supr_mono` and `infi_mono`

Author

vihdzp

Parents