Theorem RelEmbedding.codRestrict_apply

Modification history

2022-12-14 09:34
Mathlib/Order/RelIso/Set.lean
feat port: Order.RelIso.Set (#1005) …
Added RelEmbedding.codRestrict_applyView on Github →