search

JetBrains / arend-lib

Apache License 2.0
79 stars 23 forks source link

quotient universal property #65

Closed s3midetnov closed 3 months ago

s3midetnov commented 6 months ago

strange exception about dependencies in SubGroupPreorder