Opened 22 months ago
Closed 13 months ago
#28066 closed enhancement (duplicate)
Incorporating a function for tautological implication in the logic module
Reported by: | gh-Medha210699 | Owned by: | |
---|---|---|---|
Priority: | minor | Milestone: | sage-duplicate/invalid/wontfix |
Component: | symbolics | Keywords: | |
Cc: | Merged in: | ||
Authors: | Reviewers: | Dave Morris | |
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description
Change History (4)
comment:1 Changed 16 months ago by
- Milestone changed from sage-8.9 to sage-9.1
comment:2 Changed 13 months ago by
- Component changed from PLEASE CHANGE to symbolics
- Milestone changed from sage-9.1 to sage-duplicate/invalid/wontfix
- Priority changed from major to minor
- Reviewers set to Dave Morris
- Status changed from new to needs_review
- Type changed from PLEASE CHANGE to enhancement
comment:3 Changed 13 months ago by
- Status changed from needs_review to positive_review
comment:4 Changed 13 months ago by
- Resolution set to duplicate
- Status changed from positive_review to closed
Note: See
TracTickets for help on using
tickets.
Ticket retargeted after milestone closed