not necessarily

URI: https://gptkb.org/prop/not_necessarily
5 triples
GPTKB property
Random triples
Subject Object
gptkb:Dedekind_domain unique factorization domain
gptkb:Free_module gptkb:Projective_module
gptkb:Free_module gptkb:Injective_module
gptkb:Dedekind_domain principal ideal domain
gptkb:Modular_lattice distributive