Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Incorporating a function for tautological implication in the logic module #28066

Closed
Medha210699 mannequin opened this issue Jun 27, 2019 · 3 comments
Closed

Incorporating a function for tautological implication in the logic module #28066

Medha210699 mannequin opened this issue Jun 27, 2019 · 3 comments
Labels
c: symbolics r: duplicate t: enhancement

Comments

@Medha210699
Copy link
Mannequin

Medha210699 mannequin commented Jun 27, 2019

Component: symbolics

Reviewer: Dave Morris

Issue created by migration from https://trac.sagemath.org/ticket/28066
@Medha210699 Medha210699 mannequin added this to the sage-8.9 milestone Jun 27, 2019
@Medha210699 Medha210699 mannequin added the p: major / 3 label Jun 27, 2019
@embray
Copy link
Contributor

embray commented Dec 30, 2019

comment:1

Ticket retargeted after milestone closed

@embray embray modified the milestones: sage-8.9, sage-9.1 Dec 30, 2019
@DaveWitteMorris
Copy link
Member

Reviewer: Dave Morris

@DaveWitteMorris
Copy link
Member

comment:2

This is a duplicate of #28052 (and #28062).

@DaveWitteMorris DaveWitteMorris removed this from the sage-9.1 milestone Mar 11, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
c: symbolics r: duplicate t: enhancement
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@embray @fchapoton @DaveWitteMorris