Theorem List.Chain'.drop

Modification history