Theorem Function.Injective.sigma_map_iff

Modification history

2022-10-24 23:24
Mathlib/Data/Sigma/Basic.lean
chore: capitalise Injective (#501) …
Added Function.Injective.sigma_map_iffView on Github →