dom(V) -> dom(a)
A content ERROR was logged by "Christopher Roßbach" at the following url:
The issue as described by the user:
I think it should be v\in dom(a) instead von v\in dom(V). Otherwise it should be defined what the domain of a set is
The text highlighted while reporting this issue:
𝑣∊𝐝𝐨𝐦(𝑉)