Post #4445805

@pozorvlak@mathstodon.xyz @mjd@mathstodon.xyz That is not necessarily so easy. It might take a lot of machinery just to state the main theorem.