Namespace GradedAlgebra 1 theorems
- Degreewise base change detects isomorphism of graded algebras
GradedAlgebra.bijective_tensorProduct_lift_of_forall_isBaseChange0 below · cited by 4 · depth 35
GradedAlgebra 1 theoremsGradedAlgebra.bijective_tensorProduct_lift_of_forall_isBaseChange 0 below · cited by 4 · depth 35