Некрасиво-печатать поле записи

#coq Вопрос: Предположим, у меня есть такой тип записи: Record myRec : Type := { myNat : nat; myProof : myNat > 0 }. Как я могу сказать Coq, чтобы…