Admitted functions in MLKEM

[mamonet]

This issue lists the admitted functions in libcrux MLKEM code to be resolved

1. to_spec_poly_t in generic polynomial.rs https://github.com/cryspen/libcrux/blob/dev/libcrux-ml-kem/src/polynomial.rs#L28-L31
2. zetas_b_lemma in generic ntt.rs/invert_ntt.rs https://github.com/cryspen/libcrux/blob/ntt-panic-free/libcrux-ml-kem/src/ntt.rs#L8-L10 (The code is part of Make ntt panic free #576) [This one removed]

[github-actions]

This issue has been marked as stale due to a lack of activity for 60 days. If you believe this issue is still relevant, please provide an update or comment to keep it open. Otherwise, it will be closed in 7 days.