Theorem IsLocalization.adjoin_inv

Modification history