I have proved the conjecture “Upgrading a multifuncoid is multifuncoid”. The proof is currently presented in this online draft article.
I have proved the conjecture “Upgrading a multifuncoid is multifuncoid”. The proof is currently presented in this online draft article.