|
# SPDX-License-Identifier: GPL-2.0-or-later
# GradedModules: A homalg based package for the Abelian category of finitely presented graded modules over computable graded rings
#
# Declarations
#
## LIGrRNG = Logical Implications for homalg GRaded RiNGs
[ Dauer der Verarbeitung: 0.15 Sekunden
(vorverarbeitet)
]
|
