Theorem OrderEmbedding.wcovBy_of_apply

Modification history

2024-08-29 12:34
Mathlib/Order/Cover.lean
feat(Order/*): `CovBy` and `OrderIso` (#16222) …
Added OrderEmbedding.wcovBy_of_applyView on Github →