unused lemma filter_succ - Githubissues

math-comp / trajectories

0 stars 4 forks source link

unused lemma filter_succ #26

Open affeldt-aist opened 1 year ago

affeldt-aist commented 1 year ago

https://github.com/affeldt-aist/trajectories/blob/1be5acf4fcbeaabe96a52c1ae491f24bfea81f3a/theories/preliminaries_hull.v#L135

candidate for removal?

affeldt-aist commented 1 year ago

or maybe document its application?