Riccardo Azzolini 02307d02e7 Rimuove simbolo $\square$ (□) dalle dimostrazioni ...

Lo stesso simbolo viene usato per indicare la fine delle dimostrazioni e
per denotare la clausola vuota nel metodo di risoluzione. L'uso nelle
dimostrazioni non è importante, quindi conviene rimuovendolo, per
evitare di avere un simbolo con due significati.

2020-05-09 18:06:34 +02:00

56 KiB

Raw History