Open L-as opened 5 months ago
A short intermediate solution to #49 that should speed up proving time.
A short intermediate solution to #49 that should speed up proving time.