Theorem Function.Embedding.mk_trans_mk

Modification history

2024-11-02 09:06
Mathlib/Logic/Embedding/Basic.lean
feat(ContextFreeGrammar): More lemmas about reversal (#16472) …
Added Function.Embedding.mk_trans_mkView on Github →