Theorem equivEquivIso_inv

Modification history