Skip to content

Add is_trivial(::NCRing) #2709

Add is_trivial(::NCRing)

Add is_trivial(::NCRing) #2709