Moduli stack of formal group laws (source code)

= Moduli stack of formal group laws
{wiki=Moduli_stack_of_formal_group_laws}