Theorem EmbeddingLike.apply_eq_iff_eq

Modification history

2022-11-10 22:45
Mathlib/Data/FunLike/Embedding.lean
feat: port of Data.FunLike (#541) …
Added EmbeddingLike.apply_eq_iff_eqView on Github →