Skip to content

refactor: rfl tactic: do not use Kernel.isDefEq #2689

refactor: rfl tactic: do not use Kernel.isDefEq

refactor: rfl tactic: do not use Kernel.isDefEq #2689