map_id — Mathlib · SciLib

∫ Утверждение Mathlib

map_id

Mathlib.Data.Multiset.MapFold

URI: https://scilib.ai/kg/mathlib#Multiset.map_id

← MathLib Explorer