diff options
| author | Josh Chen | 2018-06-04 19:38:01 +0200 |
|---|---|---|
| committer | Josh Chen | 2018-06-04 19:38:01 +0200 |
| commit | c087ad35ac9365cad99b022e138348fb68bc9215 (patch) | |
| tree | d168fb50709cff4e7509a5c49e75be5fd7936dd3 /.gitignore | |
| parent | a7303e36651ea1f8ec50958415fa0db7295ad957 (diff) | |
Prod_comp should have a type constraint. This also fixes a false proof for the dependent sum projection functions.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions