domain | |
http://cds.omdoc.org/mmt?metadata?sourceRef | http://mathhub.info/MitM/Models/continuity.mmt#3386.92.1:3422.92.37 |
domain |
domain |
type | |
definition | |
parsing-notation | φ_p_1 (precedence 0) |
http://cds.omdoc.org/mmt?metadata?sourceRef | http://mathhub.info/MitM/Models/continuity.mmt#3471.94.1:3508.94.38 |
type | |
definition | |
parsing-notation | φ_p_2 (precedence 0) |
http://cds.omdoc.org/mmt?metadata?sourceRef | http://mathhub.info/MitM/Models/continuity.mmt#3559.96.1:3599.96.41 |