[[:Eigenschap:* Wat kan Status allemaal zijn? Is dit een eindige verzameling? Of gewoon een abstracte verzameling?
Het is een beetje lastig om {0,1,...,10} weer te geven in Coq. Het gaat in elk geval niet met Definition K|* Wat kan Status allemaal zijn? Is dit een eindige verzameling? Of gewoon een abstracte verzameling?
Het is een beetje lastig om {0,1,...,10} weer te geven in Coq. Het gaat in elk geval niet met Definition K]]