OAI.SymmetricMahler.symmetric_mahler_from_regular_special_mass: intermediate lemma from OpenAI, The symmetric Mahler conjecture and its equality cases

Initializing...

OAI.SymmetricMahler.symmetric_mahler_from_regular_special_mass: intermediate lemma from OpenAI, The symmetric Mahler conjecture and its equality cases · Prove2Me