Theorem Function.Surjective.bijective₂_of_injective

Modification history

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