Theorem finCongr_symm_apply

Modification history

2026-05-29 13:23
Mathlib/Data/Fin/SuccPred.lean
chore: bump toolchain to v4.31.0-rc1 (#39980)
Added finCongr_symm_applyView on Github →