Mentions légales du service

Skip to content

Adapt w.r.t. coq/coq#15856.

Pierre-Marie Pédrot requested to merge pedrot/itauto:universes-rm-univ-of-sort into master

Merge request reports