Skip to content

test Limit#101

Open
mohamed-barakat wants to merge 1 commit intohomalg-project:masterfrom
mohamed-barakat:Limit
Open

test Limit#101
mohamed-barakat wants to merge 1 commit intohomalg-project:masterfrom
mohamed-barakat:Limit

Conversation

@mohamed-barakat
Copy link
Member

No description provided.

@mohamed-barakat
Copy link
Member Author

This PR needs the implementation of Limit in CategoryConstructor, which at some point could be moved to CAP, or FinSetsForCAP could add CategoryConstructor as a dependency.

@zickgraf
Copy link
Member

I would prefer to wait until Limit is moved to CAP.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants