-
Glenn Morris authored
Change cross-reference. Use example rather than smallexample (these examples are not wide, smallexample saves little vertical space, but makes things harder to read).
fe762311
Change cross-reference. Use example rather than smallexample (these examples are not wide, smallexample saves little vertical space, but makes things harder to read).