30,753 followers
@CouteauGeoffroy I think this one has a version of this: https://t.co/jTkpGd3coc https://t.co/4jSh1XSQ2w
@CouteauGeoffroy I think this one has a version of this: https://t.co/jTkpGd3coc https://t.co/4jSh1XSQ2w
@ccanonne_ Maybe Theorem 3.8 in https://t.co/XoBugQD5do.