GitXplorerGitXplorer
c

lean-classequation

public
0 stars
0 forks
0 issues

Commits

List of commits on branch master.
Unverified
9581c9047fa98a94e4fc06742a9e8e9bd46aba30

backticks

ccfbolz committed 4 years ago
Unverified
1898a0f0eb7fb9293632d436aaa126a772531999

introduce and use lemma

ccfbolz committed 4 years ago
Unverified
bedbbc511609f8ac6403f42600d8a2d4da52888f

tweaks

ccfbolz committed 4 years ago
Unverified
86f98991afe6bb83c2d5a4c6fc01b225dbb84927

tweaks

ccfbolz committed 4 years ago
Unverified
2d0177671361aba4d78a3476874d586934fac620

few new tricks, simp_rw helps a lot! finish

ccfbolz committed 4 years ago
Unverified
52b7a169fc52c951be6e55865d4ad72f3466cb1d

tweaks

ccfbolz committed 4 years ago

README

The README file for this repository.

A Lean proof for the class equations of a) group actions and b) groups.