search

math-comp / mcb

Mathematical Components (the Book)
Other
139 stars 25 forks source link

Notation technicalities in section 7.1. #95

Open amahboubi opened 3 years ago

amahboubi commented 3 years ago

As Simon says, the block of notations declarations (LHS, etc) is too dry and deserves a line-per-line comment.