← Feed @trebor@types.pl Post #2142736 2026-04-16 16:20 UTC Cartesian cubical groups aren't even Kan Replies (0) No replies.