Mathlib v3 is deprecated. Go to Mathlib v4

Theorem set.has_left_inverse

Modification history

2017-10-15 01:58

logic/function.lean

feat(*): working on list/basic, robusting simp proofs

Deleted set.has_left_inverse View on Github →

2017-09-10 20:33

logic/function_inverse.lean

feat(logic): add small theory on inverse functions

Added set.has_left_inverse View on Github →