already in mathcomp #2

Open

opened

on Nov 19, 2021

Line 83 in a5dd5e3

Lemma sorted_filter (c : pred A) s :

at least version 1.13

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests