COROLLARY

the corollary formula of a rune
Major Section:  MISCELLANEOUS

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.