Mathlib v3 is deprecated. Go to Mathlib v4

Structure cooler_iso

Modification history

2022-01-25 10:49

src/data/fun_like/equiv.lean

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

Added cooler_iso View on Github →