tactics,
an archive of posts with this tag
Jul 14, 2025 | rintro and A ≠ B |
---|---|
Jul 7, 2025 | Understanding the Suffices Tactic in Lean |
an archive of posts with this tag
Jul 14, 2025 | rintro and A ≠ B |
---|---|
Jul 7, 2025 | Understanding the Suffices Tactic in Lean |