Skip to content

Add is_trivial(::NCRing) #3547

Add is_trivial(::NCRing)

Add is_trivial(::NCRing) #3547