Skip to content

Added lemmas proving consequences of a list concatenation being [].

737f469
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Added lemmas proving consequences of a list concatenation being []. #924

Added lemmas proving consequences of a list concatenation being [].
737f469
Select commit
Loading
Failed to load commit list.