I think it's generally bad form to have a corollary dependent on an earlier conjecture. I recommend one of the following:
Theorem: Assuming Conjecture A, properties X, Y and Z are true.
or
Theorem: Conjecture A implies X, Y and Z.
Most importantly, it should be crystal clear that the result is dependent on the conjecture.
No comments:
Post a Comment