Theorem and_assoc

Modification history