search

math-comp / mcb

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

rename chapter 5 #80

Open gares opened 5 years ago

gares commented 5 years ago

something like "boolean reflection" and rework the intro