Theorem Rep.instIsRightAdjointSubtypeMemSubgroupIndFunctorSubtype

Modification history

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