Theorem Function.Injective.of_comp_right

Modification history

2023-11-02 16:15
Mathlib/Logic/Function/Basic.lean
feat: Galois orbits in a normal extension are determined by minimal polynomials (#8028) …
Added Function.Injective.of_comp_rightView on Github →