The corollary formula of a rune
See formula. This is a low-level system function at the present time. See pr and see pr! instead. Also see rule-classes for the use of the symbol :corollary in specifying a rule class.
