diff options
author | 2017-02-14 00:19:04 -0500 | |
---|---|---|
committer | 2017-02-14 00:19:04 -0500 | |
commit | 8a90b078ece6fac84bb45b0375aa65a8faa25466 (patch) | |
tree | 14f6b11c10aa75146f458ca712f570a9217c1898 /src/ModularArithmetic/Conversion.v | |
parent | 81364d2020f9e2218cfe0dfd274a9b82dc2d7d42 (diff) |
Add src/Reflection/BoundByCastWf.v
Diffstat (limited to 'src/ModularArithmetic/Conversion.v')
0 files changed, 0 insertions, 0 deletions