Opened 2 years ago
Analogies in proofs
|Reported by:||tilk||Owned by:|
Users should not be required to repeat some line of reasoning twice. Right,
one can use a lemma for that, but for simple cases in natural-language
proofs one usually write something like "the second case is analogous".