Tag implication: laevatein_(tail) -> tail

Posted under Tags

1