Theorem SetLike.IsHomogeneousElem.mul

Modification history

2025-02-10 17:54

Mathlib/Algebra/GradedMonoid.lean

feat(RingTheory/GradedAlgebra): define homogeneous submodule (#18728) …

Added SetLike.IsHomogeneousElem.mul View on Github →