Mathlib v3 is deprecated. Go to Mathlib v4

Structure cooler_embedding

Modification history

2022-01-25 10:49

src/data/fun_like/embedding.lean

feat(data/fun_like): define `embedding_like` and `equiv_like` (#10759) …

Added cooler_embedding View on Github →