Theorem List.map_injective_iff

Modification history