Theorem Function.Injective.of_sigma_map

Modification history

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