hazelgrove/hazelnut-dynamics-agda

remove red box premises

Closed this issue · 0 comments

ivoysey commented
remove red box premises