
$\operatorname{disc} (F)$
