[New Commit] Fix a typo in a proof about filtrations zpr.io/vC7JuUTJ58JM
1
0
0
0
0
@OpenLogicProj Maybe not flooding people’s timeline with commit notifications about typos on your official account? Like opening up another automated account for those and only posting content interesting to humans here?