Skip to content

Various community contributions 2#113

Merged
ScriptRaccoon merged 5 commits intomainfrom
community-contributions-2
Apr 19, 2026
Merged

Various community contributions 2#113
ScriptRaccoon merged 5 commits intomainfrom
community-contributions-2

Conversation

@ScriptRaccoon
Copy link
Copy Markdown
Owner

@ScriptRaccoon ScriptRaccoon commented Apr 19, 2026

@ScriptRaccoon ScriptRaccoon linked an issue Apr 19, 2026 that may be closed by this pull request
@ScriptRaccoon ScriptRaccoon changed the title Community Contributions 2 Various community contributions 2 Apr 19, 2026
This was linked to issues Apr 19, 2026
@ScriptRaccoon ScriptRaccoon merged commit 2e5d524 into main Apr 19, 2026
1 check passed
@ScriptRaccoon ScriptRaccoon deleted the community-contributions-2 branch April 21, 2026 09:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Man is not \aleph_1-accessible Ab_fg is \aleph_1-accessible Grothendieck Topos -> exact filtered colimits

1 participant