Skip to content

fix: reduce Eq.rec when mvars are present #3027

fix: reduce Eq.rec when mvars are present

fix: reduce Eq.rec when mvars are present #3027

Annotations

1 warning

check-pr-body

succeeded Jan 8, 2025 in 6s