Theorem OreLocalization.smul_div_one

Modification history