.. _tactic.intros:

intros
======

Applies `intro` as many times as possible.