Theorem List.all₂_map_iff

Modification history