Skip to content

move gamma into exists form' #3983

move gamma into exists form'

move gamma into exists form' #3983

Annotations

1 warning

Build (coqorg/coq:8.18.0-ocaml-4.13.1-flambda)

succeeded Dec 4, 2024 in 15m 51s