WIP Diaconescu's theorem#457

Open

clayrat wants to merge 14 commits intoRedPRL:masterfrom

clayrat:diaconescu

Commits on Oct 31, 2018

preliminary and misc proofs
Alex Gryzlov
committed

Commits on Nov 5, 2018

Merge branch 'master' into diaconescu
Alex Gryzlov
committed
WIP using motive
Alex Gryzlov
committed
Merge branch 'master' into diaconescu
Alex Gryzlov
committed

Commits on Nov 6, 2018

print mismatched names in Quote
Alex Gryzlov
committed
finish defining P
Alex Gryzlov
committed

Commits on Nov 7, 2018

fix after review
Alex Gryzlov
committed
Merge remote-tracking branch 'upstream/master'
Alex Gryzlov
committed

Commits on Nov 8, 2018

surjective/injective
Alex Gryzlov
committed

Commits on Nov 15, 2018

Merge remote-tracking branch 'upstream/master'
Alex Gryzlov
committed

Commits on Nov 16, 2018

Merge remote-tracking branch 'upstream/master'
Alex Gryzlov
committed

Commits on Nov 21, 2018

Merge remote-tracking branch 'upstream/master'
Alex Gryzlov
committed
Merge branch 'master' into diaconescu
Alex Gryzlov
committed

Commits on Nov 23, 2018

WIP reflexivity of P
Alex Gryzlov
committed