Skip to content
Snippets Groups Projects

WIP: simpler proof of filterP_ord_ind_l_in_n0.

Blocked
François Clément created pipeline for commit c9b76db0
For master
branch
3 jobs