Talk:Condensed mathematics