Theorem HomogeneousLocalization.val_zsmul

Modification history

2024-07-03 02:57
Mathlib/RingTheory/GradedAlgebra/HomogeneousLocalization.lean
chore(GroupTheory/MonoidLocalization): Change `Localization` to an abbrev of `OreLocalization`. (#13943)
Added HomogeneousLocalization.val_zsmulView on Github →