search

math-comp / mcb

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

Update chSpecification.tex #147

Closed gares closed 1 year ago

gares commented 1 year ago

Fix #146