where
v0' = center c
v1' = center (right_face c)
v2' = Face.v3 (right_face c)
v3' = Face.v0 (right_face c)
fv' = rotate ccwz $ rotate ccwy
where
v0' = center c
v1' = center (right_face c)
v2' = Face.v3 (right_face c)
v3' = Face.v0 (right_face c)
fv' = rotate ccwz $ rotate ccwy