Skip to content

Lemma added in mathcomp > 1.15#80

Open
CohenCyril wants to merge 1 commit into
masterfrom
remove-subset_mapP
Open

Lemma added in mathcomp > 1.15#80
CohenCyril wants to merge 1 commit into
masterfrom
remove-subset_mapP

Lemma added in mathcomp > 1.15

fa7c923
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs