Real closed ring

ID: real-closed-ring

New to topics? Read the docs here!