Skip to content

I
Iris
Closed
Opened by Paolo G. Giarrusso@Blaisorblade
Report abuse

Fix direction of CONSTRUCTOR_NAME_op lemmas (fix #256)