eq_replicate_card — Mathlib · SciLib

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

eq_replicate_card

Mathlib.Data.Multiset.Replicate

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

← MathLib Explorer