Skip to content

add some lemmas about `Finite` and `pred_finite`

Glen Mévelrequested to merge
gmevel/stdpp:glen/pred_finite into master

Merge it if you like it. Feel free to suggest better naming and placement.

Merge request reports