Classically known as Universal Instantiation, this rule allows you to infer any instance from a universal generalization. It's hard to know what else "all" could mean.
Preview shown for the Typed Forward Strict derivation type in the LRC system
