Function is_invertible_gf2 

pub fn is_invertible_gf2(n: u32, rows: &[u64]) -> bool

Is an n×n GF(2) matrix (each row packed as the low n bits of a u64) invertible? Gaussian elimination over GF(2): invertible iff it reduces to full rank n.