Def Equiv.codRestrict

Modification history

2023-08-10 19:52

Mathlib/Logic/Equiv/Embedding.lean

chore: banish `Type _` and `Sort _` (#6499) …

Modified Equiv.codRestrict View on Github →

2022-12-14 15:48

Mathlib/Logic/Equiv/Embedding.lean

feat port: Logic.Equiv.Embedding (#1021) …

Added Equiv.codRestrict View on Github →