Library stdpp.list
This file re-exports all the list lemmas in std++. Do *not* import the individual
list_× modules; their organization may cahnge over time. Always import list.
From stdpp Require Export list_basics list_relations list_monad list_misc list_tactics list_numbers.