Post #2668004

@mevenlennonbertrand@lipn.info I didn't say you did, but barring a paper without formalisation is what the OP is about. @mc@mathstodon.xyz