Skip to content

add zerofctE and onefctE; rename scalrfctE to scalerfctE#1984

Open
t6s wants to merge 2 commits into
math-comp:masterfrom
t6s:fctE_20260604
Open

add zerofctE and onefctE; rename scalrfctE to scalerfctE#1984
t6s wants to merge 2 commits into
math-comp:masterfrom
t6s:fctE_20260604

make onefctE and zerofctE pointwise

6e5c572
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
rocq-core
succeeded Jun 4, 2026 in 2m 41s