IsFun -> isFun

[affeldt-aist]

analysis/classical/functions.v

Line 225 in 0e392b5

HB.mixin Record IsFun {aT rT} (A : set aT) (B : set rT) (f : aT -> rT) :=

on the model of the convention chosen for MathComp 2.0