Theorem Fin.append_left'

Modification history