Comment on Conway's CorollaryparentComments−xacaxulu11yA proposition that is logically derived from one already proved, usually immediately before.
Comments
A proposition that is logically derived from one already proved, usually immediately before.