Peter Nelson

> I've never heard of a greedoid, so this is out of ignorance, but I don't see any reason to mention `Finset` in this file. Switching to `Set a ->...

> Let me state again that I couldn't find any appearance of greedoids elaborating infinite sets. So for now it should be okay to state it as a family of...

> > Let me state again that I couldn't find any appearance of greedoids elaborating infinite sets. So for now it should be okay to state it as a family...