arend-lib icon indicating copy to clipboard operation
arend-lib copied to clipboard

Published 20 hours ago • verified publisher icon JetBrains

Representation

Open s3midetnov opened this issue 7 months ago • 0 comments

added representation category, schur's lemma

s3midetnov avatar Jul 12 '24 12:07 s3midetnov