Skip to content

Recognise ==Int and ==K equations as substitutions when internalising #6800

Recognise ==Int and ==K equations as substitutions when internalising

Recognise ==Int and ==K equations as substitutions when internalising #6800

Annotations

1 warning

Nix / Unit Tests (MacM1, self-macos-12, aarch64-darwin)

succeeded Oct 16, 2024 in 12m 27s