Theorem and_implies

Modification history