domain | |
http://cds.omdoc.org/mmt?metadata?sourceRef | http://mathhub.info/MitM/Models/densities.mmt#2531.72.1:2567.72.37 |
domain |
domain |
domain | |
http://cds.omdoc.org/mmt?metadata?sourceRef | http://mathhub.info/MitM/Models/densities.mmt#2570.73.1:2601.73.32 |
domain | |
http://cds.omdoc.org/mmt?metadata?sourceRef | http://mathhub.info/MitM/Models/densities.mmt#2605.74.1:2638.74.34 |
type | |
definition | |
parsing-notation | p (precedence 0) |
http://cds.omdoc.org/mmt?metadata?sourceRef | http://mathhub.info/MitM/Models/densities.mmt#2709.76.1:2795.77.52 |