Theorem Fin.comp_contractNth

Modification history

2025-02-27 19:23
Mathlib/Data/Fin/Tuple/Basic.lean
feat(RepresentationTheory/GroupCohomology/Functoriality): add functoriality (#21756) …
Added Fin.comp_contractNthView on Github →