close regel deductiestelling 2 #198
Description
Als ik met de deductiestelling een bewijs wil sluiten, en begin met bijv regel 2 in te vullen, en daarna de phi, dan kan ik deze niet meer sluiten, ik denk dat dat verwarrend is, dus de optie alledrie invullen zou moeten mogen