Code

WIP Diaconescu's theorem#457

Code

Open

clayrat wants to merge 14 commits intoRedPRL:masterRedPRL/redtt:masterfrom clayrat:diaconescuclayrat/redtt:diaconescuCopy head branch name to clipboard

+230

Commits

Commits on Oct 31, 2018

• preliminary and misc proofs

  

  Alex Gryzlov

  committed
  c2217a2

Commits on Nov 5, 2018

• Merge branch 'master' into diaconescu

  

  Alex Gryzlov

  committed
  2bed94a

• WIP using motive

  

  Alex Gryzlov

  committed
  e03394a

• Merge branch 'master' into diaconescu

  

  Alex Gryzlov

  committed
  00e12ca

Commits on Nov 6, 2018

• print mismatched names in Quote

  

  Alex Gryzlov

  committed
  8a1c75a

• finish defining P

  

  Alex Gryzlov

  committed
  d48255d

Commits on Nov 7, 2018

• fix after review

  

  Alex Gryzlov

  committed
  23bfe19

• Merge remote-tracking branch 'upstream/master'

  

  Alex Gryzlov

  committed
  a4e736f

Commits on Nov 8, 2018

• surjective/injective

  

  Alex Gryzlov

  committed
  ac578bd

Commits on Nov 15, 2018

• Merge remote-tracking branch 'upstream/master'

  

  Alex Gryzlov

  committed
  2a66d1c

Commits on Nov 16, 2018

• Merge remote-tracking branch 'upstream/master'

  

  Alex Gryzlov

  committed
  628be94

Commits on Nov 21, 2018

• Merge remote-tracking branch 'upstream/master'

  

  Alex Gryzlov

  committed
  e521023

• Merge branch 'master' into diaconescu

  

  Alex Gryzlov

  committed
  845ccd5

Commits on Nov 23, 2018

• WIP reflexivity of P

  

  Alex Gryzlov

  committed
  97e3c4a