Theorem Mathlib.Meta.Finset.range_zero'

Modification history