pub fn right_regular_lift(
group: &FiniteGroupSpec,
matrix: &[Vec<GroupAlgebraElement>],
) -> Result<SparseGf2Matrix>pub fn right_regular_lift(
group: &FiniteGroupSpec,
matrix: &[Vec<GroupAlgebraElement>],
) -> Result<SparseGf2Matrix>