diff options
author | Jason Gross <jagro@google.com> | 2018-08-03 13:45:07 -0400 |
---|---|---|
committer | Jason Gross <jagro@google.com> | 2018-08-03 13:45:07 -0400 |
commit | 10335b3bc443a6545a64347db8b8341d08792ed6 (patch) | |
tree | e2432c66736297d3054e92f63e2a26686a270f14 /src/Algebra/IntegralDomain.v | |
parent | 01704910babc7da4bb0591412cd1640338865751 (diff) |
Add reflect_list_cps_id
Diffstat (limited to 'src/Algebra/IntegralDomain.v')
0 files changed, 0 insertions, 0 deletions