11:17 AM
@MartinSleziak Now I noticed that there is a tag called . Perhaps the OP meant to use this tag when they created ? Similarly, might be a reasonable replacement for .

4 hours later…
3:11 PM
"Drawing planar graphs with integer edge lengths" links to "Is there a dense subset of the real plane with all pairwise distances rational?". (Although the wording suggests that the OP possibly wanted to link to the question rather to this specific answer.)

1 hour later…
4:29 PM
Hello @MartinSleziak, is here any chat activity going on?

@Rudi_Birnbaum Unusual question. Definitely a lot.

It looked all very technical, so thats why I ask.

However, most of the rooms associated with MO is quite silent. Homotopy theory room is quite active.

I came across across a thought, I'd like to discuss with one, if there is interest. Its about primes.

If you meant specifically this room, it is mainly intended for stuff related to management of the tag system and to editing.

4:32 PM
Ah right! Exactly that was what I wanted to know!

Discussion about primes would be off-topic in this room.

OK, thank you!

2 hours later…
6:13 PM
@MartinSleziak The tags on this post have been edited.
2

In Theorem 7.4 of the paper "patching and the $p$-adic Langlands program for $\mathrm{GL}2(\mathbf{Q}_p)$" (arXiv link), it is proved that in the minimally ramified case, the completed homology of given level is the completed tensor of the dual family of Banach representation (denoted as \$\tilde...

1 hour later…
7:27 PM
@MartinSleziak thanks for noticing this post, the case was quite extreme...