Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
What's new
7
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Open sidebar
Iris
Iris
Merge Requests
!295
Closed
Created
Jul 22, 2019
by
Paolo G. Giarrusso
@Blaisorblade
Contributor
Options
Report abuse
Report abuse
Fix direction of CONSTRUCTOR_NAME_op lemmas (fix
#256
)
Overview
20
Commits
1
Changes
10
👍
0
👎
0