rcases can't use rfl
on 0 = a
in some circumstances.
#1334
Job | Run time |
---|---|
0s | |
0s |
rfl
on 0 = a
in some circumstances.
#1334
Job | Run time |
---|---|
0s | |
0s |