Post #2668013

@mc@mathstodon.xyz I cut all words and leave only terms: https://github.com/groupoid/anders/blob/main/library/foundations/logic/minimalist.anders Looks like meaningless to me or at least non powerful, 1-st year of education note article.