Skip to content
Tests

ex_series instead of bound for Ser alpha/beta ^2 #3973

Sign in to view logs

ex_series instead of bound for Ser alpha/beta ^2

ex_series instead of bound for Ser alpha/beta ^2 #3973

Annotations

1 warning

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

Build (coqorg/coq:8.18.0-ocaml-4.13.1-flambda)
succeeded Dec 3, 2024 in 16m 17s