type | |
parsing-notation | μ_n (precedence 0) |
http://cds.omdoc.org/mmt?metadata?sourceRef | http://mathhub.info/MitM/Models/continuity.mmt#287.8.1:319.8.33 |
type | |
parsing-notation | μ_p (precedence 0) |
http://cds.omdoc.org/mmt?metadata?sourceRef | http://mathhub.info/MitM/Models/continuity.mmt#381.10.1:409.10.29 |