Theorem Equiv.toIso_inv

Modification history