[alg.is_permutation] Remove colon after \requires