SZS status Theorem for i/f/fmapal/ORWL__DRESTRICT__COMPL__THM
