Skip to content

fix: Int.reduceNeg simproc #7308

fix: Int.reduceNeg simproc

fix: Int.reduceNeg simproc #7308

Annotations

1 warning

check-lean-files

succeeded Dec 28, 2024 in 24s