domain | |
http://cds.omdoc.org/mmt?metadata?sourceRef | http://mathhub.info/MitM/Models/densities.mmt#1011.25.1:1041.25.31 |
domain |
type | |
parsing-notation | φ_n (precedence 0) |
http://cds.omdoc.org/mmt?metadata?sourceRef | http://mathhub.info/MitM/Models/densities.mmt#1147.28.1:1186.28.40 |