Theorem Fin.append_assoc

Modification history