Code

Adapt w.r.t. coq/coq#19228.#147

Code

Merged

ppedrot merged 1 commit intojwiegley:masterjwiegley/category-theory:masterfrom ppedrot:template-no-sup-constraintppedrot/category-theory:template-no-sup-constraintCopy head branch name to clipboardJul 31, 2024

+2-2

Commits

Commits on Jul 27, 2024

• Adapt w.r.t. coq/coq#19228.

  ppedrot

  committed
  66684bf