Theorem List.get_attach

Modification history