search

math-comp / mcb

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

Finite sets #97

Open amahboubi opened 4 years ago

amahboubi commented 4 years ago

Section 7.6 should be updated after finmap is merged.