Theorem Rep.instIsLeftAdjointSubtypeMemSubgroupCoindFunctorSubtype

Modification history

2025-11-20 07:16
Mathlib/RepresentationTheory/FiniteIndex.lean
chore: remove unused `Decidable*` instances in theorem types (#31831) …
Added Rep.instIsLeftAdjointSubtypeMemSubgroupCoindFunctorSubtypeView on Github →