Talk:corollary

I think that "a proposition which follows easily from another" is the primary meaning now, and not just in the context of technical math and logic. (Not that is a commonly used word in other contexts, but when it is, this is usually what it means.) The first meaning given here is obsolete (see Webster), and the second is metaphorical.