Theorem Encodable.encode_ofEquiv

Modification history