Def Action.FintypeCat.quotientToEndHom

Modification history

2024-09-19 18:05

Mathlib/RepresentationTheory/Action/Concrete.lean

feat(CategoryTheory/Galois): prerequisites for essential surjectivity (#16948) …

Added Action.FintypeCat.quotientToEndHom View on Github →