Theorem map_inv

Modification history