Skip to content

Fix a typo in the description of coq-mathcomp-algebra-tactics#2807

Merged
proux01 merged 1 commit intocoq:masterfrom pi8027:fix-typo-algebra-tacticsNov 1, 2023

Commits

Commits on Oct 31, 2023