Theorem lt_map_inv_iff

Modification history