List view

make the sentence about == less ambiguous

Status: Open.

#86 In math-comp/mcb;

· gares opened on Aug 1, 2019

1.3 listX -> seq

Status: Open.

#84 In math-comp/mcb;

· gares opened on Jul 18, 2019

remove ex from ch 6

Status: Open.

#83 In math-comp/mcb;

· gares opened on Jul 18, 2019

remove part 3 (synopsis)

Status: Open.

#82 In math-comp/mcb;

· gares opened on Jul 18, 2019

give chapters to reviewers

Status: Open.

#81 In math-comp/mcb;

· gares opened on Jul 18, 2019

rename chapter 5

Status: Open.

#80 In math-comp/mcb;

· gares opened on Jul 18, 2019

Add a section about the totality of functions

Status: Open.

#22 In math-comp/mcb;

· amahboubi opened on Jan 20, 2017

Comment on the use of Definition d := Eval hnf in [expression]

Status: Open.

#28 In math-comp/mcb;

· gallais opened on Feb 1, 2017

5.4 (notational aspects...) is out of place and has dangling refs

Status: Open.

#74 In math-comp/mcb;

· gares opened on May 24, 2019