P
Initializing...
Third terms of a fully open path: ν₂(t_j − t_i) is the minimal level between them · Prove2Me