Theorem RelEmbedding.orderEmbeddingOfLtEmbedding_apply

Modification history

2023-01-03 22:15
Mathlib/Order/Hom/Basic.lean
chore: fix more casing errors per naming scheme (#1232) …
Deleted RelEmbedding.orderEmbeddingOfLtEmbedding_applyView on Github →
2022-12-14 10:06
Mathlib/Order/Hom/Basic.lean
chore: tidy up some files (#1009)
Added RelEmbedding.orderEmbeddingOfLtEmbedding_applyView on Github →