Skip to content

replace some `|Num.floor _|%N with Num.trunc _ #745

replace some `|Num.floor _|%N with Num.trunc _

replace some `|Num.floor _|%N with Num.trunc _ #745

Annotations

1 warning

mathcomp-analysis-single

succeeded Dec 10, 2024 in 15m 3s