Zulip Chat Archive

Stream: mathlib4

Topic: Data.List.Sublists


Chris Hughes (Jan 12 2023 at 17:53):

I've finished for today, but I've got through the worst of this file. There are no red lines and we can delete lemmas about sublists_aux\_1 etc since they are no longer used to prove the properties of sublists and sublists'


Last updated: Dec 20 2023 at 11:08 UTC