Skip to main content
MathDB
Sign in
Home
News
Database
Forum
Paper
Tags
Graph
People
Badges
Notifications
Chats
Bookmarks
About
Discord
Feature request
Report a bug
1 problem
Trending
Newest
Featured
Likes
Filters
1
Post Problem
Matching
Tag: props
The Koszul propérade bar-to-levelled composition quasi-isomorphism
About 22 years old
Koszul bar-to-levelled conjecture. The composition