Contact Privacy DMCA

Robuta

https://rocq-prover.org/doc/V8.17.0/api/coq-core/Names/GlobRef/SyntacticOrd/index.html SyntacticOrd (coq-core.Names.GlobRef.SyntacticOrd) coq core names