let C be non empty set ; :: thesis: for f, g being Membership_Func of C holds f c=

let f, g be Membership_Func of C; :: thesis: f c=

A1: f c= by FUZZY_1:17;

f c= by FUZZY_1:17;

hence f c= by A1, FUZZY_1:19; :: thesis: verum

let f, g be Membership_Func of C; :: thesis: f c=

A1: f c= by FUZZY_1:17;

f c= by FUZZY_1:17;

hence f c= by A1, FUZZY_1:19; :: thesis: verum