Theorem Encodable.decode₂_is_partial_inv

Modification history