Mentions légales du service

Complex.Cinv_conj and Cdiv_conj without precondition

LETOUZEY Pierrerequested to merge
letouzey/coquelicot:complex_two_lemmas_without_preconditions into master

As noticed in QuantumLib.Complex, no need for non-zero preconditions in Cinv_conj and Cdiv_conj. The usual trade-off here : existing proofs may break after these preconditions are removed (but should be easy to fix), while future proofs will be simpler. That's up to you... Best regards, Pierre

Merge request reports