Viewing all changes in revision 57.
- Committer: Larry Lee
- Date: 2018-08-18 01:52:28 UTC
- Revision ID: llee454@gmail.com-20180818015228-nk5hr8bdmybdoxt7
Added a proof about the distribution of negation to the Group module.
- files modified:
- group.v
expand all
collapse all
added
removed
