Theorem Fin.map_valEmbedding_Ioi

Modification history

2023-03-21 18:09
Mathlib/Data/Fin/Interval.lean
chore: fix bad names of ported lemmas (#3004) …
Added Fin.map_valEmbedding_IoiView on Github →