Theorem and_assoc'

Modification history