Skip to content

remove backported lemmas to ssreflect#85

Open
Tragicus wants to merge 1 commit intomath-comp:masterfrom Tragicus:backport-ssreflect
-130

Commits

Commits on Mar 29, 2024