1 problem

Matching

Jin's conjecture on almost internal logarithmic-differential pullbacks
At least 1 year old
Jin's conjecture. The following are equivalent:
opendifferential-algebra differentially-closed-fields model-theory
07