Theorem Partrec.bind_decode₂_iff

Modification history