Theorem List.All₂.imp

Modification history