Mandarin comparative profile

[Sta13b] [DH13b]

ComparativeProfile bundle for Mandarin (ISO cmn) per the project's "per-language data flows through Fragments" rule. Substrate types live in Linglib/Typology/Comparison.lean. Cross-linguistic theorems consuming this profile live in Studies/Stassen2013Comparison.lean. The [Sta85] 6-way classification (where applicable) lives in Studies/Stassen1985.lean.

def Mandarin.Comparison.comparison : Comparative.ComparativeProfile

Mandarin comparative profile.

Equations

• One or more equations did not get rendered due to their size.