Module linear_operation_impl

Module linear_operation_impl 

Source

Structsยง

LinearOperation
$(a, b) \circ (c, d) = \lambda x. c \times (a \times x + b) + d$