Theorem List.Chain'.take

Modification history