isHauptmodulFor

P160139
predicate

Indicates that one mathematical function or object serves as the principal modular function (Hauptmodul) associated with a given modular group or structure.

Sample triples (1)

Subject Object
modular j-invariant SL(2,Z) NERFINISHED