Function l_group_validity::is_valid

pub fn is_valid(eq: LGroupFormula, verbose: bool) -> bool

Returns whether an LGroupFormula holds in all l-groups.