Summary
- removed unused and redundant lemmas; tuned proof
The file was modified | thys/Consensus_Refined/Voting.thy (diff) |
The file was modified | thys/PSemigroupsConvolution/Partial_Semigroup_Models.thy (diff) |
The file was modified | thys/Consensus_Refined/Voting.thy (diff) |
The file was modified | thys/PSemigroupsConvolution/Partial_Semigroup_Models.thy (diff) |