Theorem Function.Surjective.of_comp_left

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.Surjective.of_comp_leftView on Github →