Theorem Function.Injective.bijective₂_of_surjective

Modification history

2023-11-03 09:34
Mathlib/Logic/Function/Basic.lean
chore: golf IsSplittingField.algEquiv (#8142) …
Added Function.Injective.bijective₂_of_surjectiveView on Github →