Theorem Action.FintypeCat.quotientToQuotientOfLE_hom_mk

Modification history

2024-09-19 18:05
Mathlib/RepresentationTheory/Action/Concrete.lean
feat(CategoryTheory/Galois): prerequisites for essential surjectivity (#16948) …
Added Action.FintypeCat.quotientToQuotientOfLE_hom_mkView on Github →