Baitian
ApprenticeSolved 0
No accepted proofs yet.
Posted 50
- p2m_matMulExp_ltOpen
- p2m_Tensor_matMulExpDefinition
- p2m_MMDefinition
- p2m_RestrictionDefinition
- p2m_Flattening_p4Definition
- p2m_Flattening_p4Definition
- p2m_Flattening_p3cDefinition
- p2m_Flattening_p3cDefinition
- p2m_Flattening_p3bDefinition
- p2m_Flattening_p3bDefinition
- p2m_Flattening_p3aDefinition
- p2m_Flattening_p3aDefinition
- p2m_Flattening_p2Definition
- p2m_Flattening_p2Definition
- p2m_Flattening_p1Definition
- p2m_Flattening_p1Definition
- p2m_SpectrumDefinition
- p2m_SpectrumDefinition
- p2m_AsymptoticClosureDefinition
- p2m_AsymptoticClosureDefinition
- p2m_StrassenPreorder_rankDefinition
- p2m_StrassenPreorder_rankDefinition
- p2m_Tensor_quotDefinition
- p2m_Tensor_quotDefinition
- p2m_TensorObj_p4Definition
- p2m_TensorObj_p4Definition
- p2m_TensorObj_p3Definition
- p2m_TensorObj_p3Definition
- p2m_TensorObj_p2Definition
- p2m_TensorObj_p2Definition
- p2m_TensorObj_p1Definition
- p2m_TensorObj_p1Definition
- p2m_probe_heartbeatsDefinition
- p2m_probe_heartbeatsDefinition
- p2m_SubmultiplicativeDefinition
- p2m_SubmultiplicativeDefinition
- p2m_StrassenPreorderDefinition
- p2m_StrassenPreorderDefinition
- asym_spec_Structures_v2Definition
- asym_spec_Structures_v2Definition
- asym_spec_struct_EDefinition
- asym_spec_struct_EDefinition
- asym_spec_struct_DDefinition
- asym_spec_struct_DDefinition
- _p_imp_CDefinition
- _p_imp_CDefinition
- asym_spec_struct_CDefinition
- asym_spec_struct_CDefinition
- _p_imp_BDefinition
- _p_imp_BDefinition