Theorem Function.Embedding.arrowCongrRight_apply

Modification history

2024-02-20 03:48
Mathlib/Logic/Embedding/Basic.lean
fix(Logic/Embedding/Basic): Generalise `arrowCongrRight_apply` (#10739) …
Modified Function.Embedding.arrowCongrRight_applyView on Github →
2022-11-28 01:58
Mathlib/Logic/Embedding/Basic.lean
port logic.embedding.basic (#700) …
Added Function.Embedding.arrowCongrRight_applyView on Github →