Dan Frumin authored 5 years ago and Robbert Krebbers committed 5 years ago

A more general implication from `head_reducible` to `reducible`.