Skip to content
Snippets Groups Projects

add some lemmas about `Finite` and `pred_finite`

Merged add some lemmas about `Finite` and `pred_finite`
gmevel/stdpp:glen/pred_finite into master
Merged Glen Mével requested to merge gmevel/stdpp:glen/pred_finite into master