DeviceGeometry
includes Device
constant domain_prop
constant domain Show Notationspred_as_subdomain_prophttp://cds.omdoc.org/urtheories?LambdaPi?applyhttp://mathhub.info/MitM/numberfields?realarith?pred_as_subhttp://mathhub.info/MitM/Models/device?DeviceGeometry?domain_prop