Theorem HomotopyEquiv.toQuasiIso_inv

Modification history