add note to section on finite function

math-comp / mcb

Mathematical Components (the Book)

Other

140 stars 25 forks source link

Closed gares closed 5 years ago

gares commented 5 years ago

they are now defined with ad-hoc inductive so that they are not problematic with positivity checking