diff options
| author | Cyril Cohen | 2020-10-22 12:02:49 +0200 |
|---|---|---|
| committer | GitHub | 2020-10-22 12:02:49 +0200 |
| commit | ecd0956480a30bb6dc4819175d0c52e289ca27dd (patch) | |
| tree | e315b727600bcaa4a80a6ed47ec9b3ed3280ed85 /CONTRIBUTING.md | |
| parent | ccbb9df17d1e0376dd88bcfad2e58e5df3cf3359 (diff) | |
| parent | d02fbd82f7bfe06c37dfe5edb05d0ed36a82811b (diff) | |
Merge pull request #593 from affeldt-aist/from_analysis_20200912
lemma used in mathcomp-analysis about big and comparability/real
Diffstat (limited to 'CONTRIBUTING.md')
0 files changed, 0 insertions, 0 deletions