search

JetBrains / arend-lib

Apache License 2.0
79 stars 23 forks source link

Representation #69

Closed s3midetnov closed 3 months ago

s3midetnov commented 3 months ago

Representation theory (everything should be working): definitions, first part schur's lemma, category, functorial definition of monoid set, permutation representation, permutation representation is reducible with some decidability condition on the set

s3midetnov commented 3 months ago

The file "Try.ard" in Topological spaces is a mistake