Add a fact Implies(Q.infinite, ~Q.finite)
Add a fact Implies(Q.infinite, ~Q.finite)

Shaswat27/sympy,yashsharan/sympy,kaushik94/sympy,ahhda/sympy,wyom/sympy,Vishluck/sympy,oliverlee/sympy,atsao72/sympy,yashsharan/sympy,mafiya69/sympy,sahmed95/sympy,wyom/sympy,hargup/sympy,bukzor/sympy,emon10005/sympy,sampadsaha5/sympy,shikil/sympy,shikil/sympy,debugger22/sympy,Gadal/sympy,postvakje/sympy,chaffra/sympy,MechCoder/sympy,drufat/sympy,Curious72/sympy,sampadsaha5/sympy,aktech/sympy,emon10005/sympy,kevalds51/sympy,AkademieOlympia/sympy,iamutkarshtiwari/sympy,Gadal/sympy,sahmed95/sympy,skidzo/sympy,Davidjohnwilson/sympy,maniteja123/sympy,Curious72/sympy,iamutkarshtiwari/sympy,maniteja123/sympy,grevutiu-gabriel/sympy,mafiya69/sympy,moble/sympy,Curious72/sympy,debugger22/sympy,abhiii5459/sympy,jaimahajan1997/sympy,kevalds51/sympy,oliverlee/sympy,ChristinaZografou/sympy,aktech/sympy,grevutiu-gabriel/sympy,ChristinaZografou/sympy,madan96/sympy,madan96/sympy,sahmed95/sympy,jaimahajan1997/sympy,Shaswat27/sympy,mcdaniel67/sympy,kaichogami/sympy,drufat/sympy,kaushik94/sympy,yukoba/sympy,abloomston/sympy,garvitr/sympy,jbbskinny/sympy,Arafatk/sympy,asm666/sympy,asm666/sympy,yashsharan/sympy,shikil/sympy,AkademieOlympia/sympy,cswiercz/sympy,jbbskinny/sympy,oliverlee/sympy,wanglongqi/sympy,kumarkrishna/sympy,VaibhavAgarwalVA/sympy,debugger22/sympy,maniteja123/sympy,jerli/sympy,atsao72/sympy,kumarkrishna/sympy,ga7g08/sympy,Designist/sympy,farhaanbukhsh/sympy,ahhda/sympy,kevalds51/sympy,drufat/sympy,cswiercz/sympy,aktech/sympy,ga7g08/sympy,toolforger/sympy,chaffra/sympy,kaushik94/sympy,ga7g08/sympy,lindsayad/sympy,farhaanbukhsh/sympy,moble/sympy,Arafatk/sympy,lindsayad/sympy,mcdaniel67/sympy,atreyv/sympy,Davidjohnwilson/sympy,jaimahajan1997/sympy,jerli/sympy,toolforger/sympy,abloomston/sympy,wanglongqi/sympy,bukzor/sympy,rahuldan/sympy,hargup/sympy,atsao72/sympy,kaichogami/sympy,garvitr/sympy,grevutiu-gabriel/sympy,rahuldan/sympy,garvitr/sympy,souravsingh/sympy,AkademieOlympia/sympy,chaffra/sympy,Designist/sympy,atreyv/sympy,bukzor/sympy,wyom/sympy,yukoba/sympy,emon10005/sympy,jerli/sympy,mafiya69/sympy,cswiercz/sympy,saurabhjn76/sympy,pandeyadarsh/sympy,ChristinaZografou/sympy,abhiii5459/sympy,yukoba/sympy,iamutkarshtiwari/sympy,Titan-C/sympy,Titan-C/sympy,Vishluck/sympy,atreyv/sympy,Shaswat27/sympy,abhiii5459/sympy,MechCoder/sympy,Davidjohnwilson/sympy,ahhda/sympy,mcdaniel67/sympy,Arafatk/sympy,asm666/sympy,VaibhavAgarwalVA/sympy,souravsingh/sympy,pandeyadarsh/sympy,MechCoder/sympy,wanglongqi/sympy,pandeyadarsh/sympy,skidzo/sympy,jbbskinny/sympy,abloomston/sympy,VaibhavAgarwalVA/sympy,saurabhjn76/sympy,lindsayad/sympy,souravsingh/sympy,sampadsaha5/sympy,moble/sympy,toolforger/sympy,farhaanbukhsh/sympy,postvakje/sympy,Gadal/sympy,postvakje/sympy,kaichogami/sympy,Vishluck/sympy,rahuldan/sympy,hargup/sympy,Designist/sympy,saurabhjn76/sympy,madan96/sympy,skidzo/sympy,kumarkrishna/sympy,Titan-C/sympy