Commit 2025-04-08 14:38 6549a577
View on Github →chore(Interval/Finset/Fin): reorder (#23829)
Move all card lemmas together.
Also rename map_subtype_embedding_uIcc to map_valEmbedding_uIcc.
chore(Interval/Finset/Fin): reorder (#23829)
Move all card lemmas together.
Also rename map_subtype_embedding_uIcc to map_valEmbedding_uIcc.