Skip to content

generalize integral_setD_EFin #2890

generalize integral_setD_EFin

generalize integral_setD_EFin #2890

Annotations

1 warning

coq-elpi

succeeded Oct 1, 2024 in 40s