@robbertkrebbers I cannot check the allow contributions setting when the target branch is protected. Should I set another target branch?
Herman Bergwerf (7f97e384) at 08 Mar 13:57
Remove unused names.
This adds a function to enumerate all vectors of a given type and a helper lemma about NoDup and bind.
@robbertkrebbers Can vec_finite
be used to simplify the proof of list_finite
?
Herman Bergwerf (123bd34a) at 08 Mar 13:50
Add NoDup_bind, vec_enum, vec_finite.