|
# SPDX-License-Identifier: GPL-2.0-or-later
# Modules: A homalg based package for the Abelian category of finitely presented modules over computable rings
#
# Declarations
#
## LIREL = Logical Implications for homalg module RELations
[ 0.15Quellennavigators
Projekt
]
|