Theorem OreLocalization.smul_one_oreDiv_one_smul

Modification history