Skip to content

add some lemmas about `Finite` and `pred_finite`

Glen Mével requested 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