Create implication jacket_partially_removed -> open_jacket

Posted under Tags

1