Def Equiv.piFinSuccAbove

Modification history

2023-12-13 23:06

Mathlib/Logic/Equiv/Fin.lean

chore: replace `piFinSuccAboveEquiv` with `piFinSuccAbove` (#9030) …

Added Equiv.piFinSuccAbove View on Github →