Skip to content

Add FINTER to finite_mapTheory and develop cv_trans for finite maps - #2033

Merged
mn200 merged 6 commits into
developfrom
cv_finter
Aug 10, 2026
Merged

Add FINTER to finite_mapTheory and develop cv_trans for finite maps#2033
mn200 merged 6 commits into
developfrom
cv_finter

Conversation

@myreen

@myreen myreen commented Aug 6, 2026

Copy link
Copy Markdown
Contributor

No description provided.

@mn200
mn200 merged commit 481b628 into develop Aug 10, 2026
4 checks passed
@mn200
mn200 deleted the cv_finter branch August 10, 2026 11:31
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