Theorem List.Chain'.right_of_append

Modification history