Meaning of intrados

(noun) the interior curve of an arch