Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Open sidebar
Iris
Iris
Merge requests
!293
Merged
Created
Jul 12, 2019
by
Dan Frumin
@dfrumin
Contributor
Options
Add `head_prim_fill_reducible`.
Overview
4
Commits
2
Changes
1
A more general implication from
head_reducible
to
reducible
.
