Commits

Branch selector

 master

User selector

thery

Datepicker

All time

Commit History

Commits on Sep 8, 2020

• Merge pull request #566 from CohenCyril/sub_sums_genmxP

  Show description for 312a40c
  thery

  authored
  312a40c

  Copy full SHA for 312a40c

• Merge pull request #573 from CohenCyril/horner_diag

  Show description for be33b7f
  thery

  authored
  be33b7f

  Copy full SHA for be33b7f

Commits on Sep 4, 2020

• Merge pull request #575 from CohenCyril/mxOver

  Show description for 03dd7f4
  thery

  authored
  03dd7f4

  Copy full SHA for 03dd7f4

• Merge pull request #572 from CohenCyril/reindex_omap

  Show description for d693784
  thery

  authored
  d693784

  Copy full SHA for d693784

Commits on Sep 3, 2020

• Merge branch 'CohenCyril-missing_mxalgebra'

  thery

  committed
  4959197

  Copy full SHA for 4959197

• Merge branch 'missing_mxalgebra' of https://github.com/CohenCyril/math-comp into CohenCyril-missing_mxalgebra

  thery

  committed
  82faf3b

  Copy full SHA for 82faf3b

• Merge pull request #563 from CohenCyril/minpolymx_minP

  Show description for 2031d35
  thery

  authored
  2031d35

  Copy full SHA for 2031d35

• Merge pull request #565 from CohenCyril/split_ordP

  Show description for 5618ef0
  thery

  authored
  5618ef0

  Copy full SHA for 5618ef0

• Merge pull request #564 from CohenCyril/pinvmx

  Show description for c2e5f04
  thery

  authored
  c2e5f04

  Copy full SHA for c2e5f04

• Merge pull request #560 from CohenCyril/commr_horner

  Show description for b392a13
  thery

  authored
  b392a13

  Copy full SHA for b392a13

Commits on Sep 1, 2020

• Merge pull request #559 from CohenCyril/sig_big_dep

  Show description for 5fc12f8
  thery

  authored
  5fc12f8

  Copy full SHA for 5fc12f8

Commits on Aug 15, 2020

• Extra theorems about subn min and max

  thery

  committed
  a79d4d9

  Copy full SHA for a79d4d9

Commits on Jun 24, 2020

• missing bigop lemmas (#537)

  Show description for 6ad3755
  

  thery

  and

  CohenCyril

  authored
  6ad3755

  Copy full SHA for 6ad3755

• fix the doc for ubnP in ssrnat

  thery

  committed
  d5aba20

  Copy full SHA for d5aba20

• simpler proof

  thery

  committed
  d7167e9

  Copy full SHA for d7167e9

Commits on Nov 14, 2019

• typo

  thery

  committed
  c1b0ed7

  Copy full SHA for c1b0ed7

• typo (#412)

  

  thery

  authored and

  amahboubi

  committed
  b3af7fb

  Copy full SHA for b3af7fb

Commits on Oct 26, 2019

• Merge pull request #397 from CohenCyril/remove_addnKC

  Show description for 9ec6b02
  thery

  authored
  9ec6b02

  Copy full SHA for 9ec6b02

Commits on Oct 25, 2019

• Merge pull request #396 from CohenCyril/edivnD

  Show description for cd81418
  thery

  authored
  cd81418

  Copy full SHA for cd81418

Commits on Oct 14, 2019

• typo

  thery

  committed
  e48f266

  Copy full SHA for e48f266

Commits on Sep 30, 2019

• Euclid theorem for product (#375)

  

  thery

  authored and

  amahboubi

  committed
  638fad3

  Copy full SHA for 638fad3

• ffact as a product similar to fact_prod (#374)

  Show description for 020c051
  

  thery

  authored and

  amahboubi

  committed
  020c051

  Copy full SHA for 020c051

Commits on Sep 16, 2019

• fermat little theorem

  

  thery

  authored and

  amahboubi

  committed
  fe30314

  Copy full SHA for fe30314

Commits on Jul 10, 2019

• totient for prime

  thery

  committed
  c09c3c8

  Copy full SHA for c09c3c8

Commits on Oct 25, 2018

• Merge pull request #217 from CohenCyril/allsigs

  Show description for f807c77
  thery

  authored
  f807c77

  Copy full SHA for f807c77

Commits on Aug 6, 2018

• Merge pull request #208 from CohenCyril/companionmx

  Show description for 1dcea67
  thery

  authored
  1dcea67

  Copy full SHA for 1dcea67

Commits on Jul 19, 2018

• Merge pull request #202 from CohenCyril/improving-poly

  Show description for 1897c99
  thery

  authored
  1897c99

  Copy full SHA for 1897c99

Commits on Feb 16, 2018

• generalize nth_iota

  thery

  committed
  76ebc73

  Copy full SHA for 76ebc73

Commits on Sep 16, 2016

• Refactoring of binonial

  Show description for 88b1305
  thery

  committed
  88b1305

  Copy full SHA for 88b1305

Commits on Feb 18, 2016

• Merge branch 'master' of https://github.com/math-comp/math-comp

  thery

  committed
  e4a39eb

  Copy full SHA for e4a39eb

• typo in error message

  thery

  committed
  d671e57

  Copy full SHA for d671e57

Commits on Feb 17, 2016

• type in error message

  thery

  committed
  6e60581

  Copy full SHA for 6e60581

• type in error message

  thery

  committed
  80ba26b

  Copy full SHA for 80ba26b

Commits on Feb 6, 2016

• typo in int divn1 -> divz1

  thery

  committed
  9975978

  Copy full SHA for 9975978

Commits on Apr 3, 2015

• Merge pull request #1 from mattam82/master

  Show description for 9859058
  thery

  committed
  9859058

  Copy full SHA for 9859058