Theorem List.Forall.imp

Modification history