domain | |
http://cds.omdoc.org/mmt?metadata?sourceRef | http://mathhub.info/MitM/Models/densities.mmt#1397.36.1:1427.36.31 |
domain |
type | |
parsing-notation | φ_p (precedence 0) |
http://cds.omdoc.org/mmt?metadata?sourceRef | http://mathhub.info/MitM/Models/densities.mmt#1528.39.1:1567.39.40 |