Module extension

Source

Structsยง

FlatIter
FlatMatrixView
A view that flattens a matrix of extension field elements into a matrix of base field elements.