Skip to content

Add and strengthen theorems #3937

Add and strengthen theorems

Add and strengthen theorems #3937

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

succeeded Nov 24, 2024 in 16m 2s