sublists_eq_sublistsFast — Mathlib · SciLib

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

sublists_eq_sublistsFast

Mathlib.Data.List.Sublists

URI: https://scilib.ai/kg/mathlib#List.sublists_eq_sublistsFast

← MathLib Explorer