GitXplorerGitXplorer
c

lean-classequation

public
0 stars
0 forks
0 issues

Commits

List of commits on branch master.
Unverified
e0904c61d9c5000a034f7280ece6578f1a32a235

reorder, change proof a bit

ccfbolz committed 4 years ago
Unverified
09099c4921bc497b0db02676d8afe181e628f0c1

use a local instance to make some lemmas nicer

ccfbolz committed 4 years ago
Unverified
38396c252f2f3dd0e64aaf567eab9d696eac992c

simpler

ccfbolz committed 4 years ago
Unverified
1368e0082092e71fc983555ed2ae57485c6b32a9

another formulation of the class equation that I like better

ccfbolz committed 4 years ago
Unverified
5ec10eef45679472d0bb3702da35e0c1cc352807

another variant of the cover formulation

ccfbolz committed 4 years ago
Unverified
d8c532159456ac656a9f8eef702f86a6799ba4a0

two lemmas about the cardinality and the index of groups

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.