Theorem AddValuation.map_inv

Modification history