Skip to content

Filter_preserves_prop from Token proved

Natasha Klaus requested to merge natalie@auxiliary_lemma_filter_preserves_prop into master

Auxiliary lemma from Token.v (internal_errors) [filter_preserves_prop] proved

Merge request reports