Theorem List.sublistForall₂_iff

Modification history