Is it good or bad practice to have a corollary depend heavily on another corollary?
An alternative approach would be to state one of the corollarys as a theorem.
Is it good or bad practice to have a corollary depend heavily on another corollary?
An alternative approach would be to state one of the corollarys as a theorem.