aboutsummaryrefslogtreecommitdiff
path: root/src/Specific/montgomery64_2e285m9/fesubDisplay.v
blob: 197e1fffe2d5feb9edbfd2bc9a261b8555268c23 (plain)
1
2
3
4
Require Import Crypto.Specific.montgomery64_2e285m9.fesub.
Require Import Crypto.Specific.Framework.IntegrationTestDisplayCommon.

Check display sub.