Def Function.bijective

Modification history

2022-10-24 23:24

Mathlib/Init/Function.lean

chore: capitalise Injective (#501) …

Deleted Function.bijective View on Github →

2021-06-09 11:55

Mathlib/Function.lean

feat (Data/Equiv/Basic): add `equiv` (#13) …

Added Function.bijective View on Github →