Theorem List.map_join

Modification history