Positività e intervalli
- Autore:
- Gae Spes
- Argomento:
- Disequazioni
&& := AND , || := OR , ! := NOT
Produci tramite il predicato pos
(tasto destro sull'intervallo blu, scegli "proprietà" e cambia definizione)
tutti gli intervalli del file:
http://tinyurl.com/erreplus