Skip to content

simp unfolds a local let with zetaDelta disabled #280

simp unfolds a local let with zetaDelta disabled

simp unfolds a local let with zetaDelta disabled #280

Annotations

1 warning

jira-sync

succeeded Dec 14, 2024 in 4s