Theorem List.forall_map_iff

Modification history