Follow

T+Con(T)からの高階の独立性について加筆しました.また,導出可能性条件についても明示的に書くようにしました.
mathtod.online/@waidotto/10214

Sign in to participate in the conversation
Mathtodon

A Mastodon instance named Mathtodon, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.