domain | |
http://cds.omdoc.org/mmt?metadata?sourceRef | http://mathhub.info/MitM/Models/continuity.mmt#2985.81.1:3021.81.37 |
domain |
domain |
type | |
definition | |
parsing-notation | φ_n_1 (precedence 0) |
http://cds.omdoc.org/mmt?metadata?sourceRef | http://mathhub.info/MitM/Models/continuity.mmt#3071.83.1:3108.83.38 |
type | |
definition | |
parsing-notation | φ_n_2 (precedence 0) |
http://cds.omdoc.org/mmt?metadata?sourceRef | http://mathhub.info/MitM/Models/continuity.mmt#3160.85.1:3200.85.41 |