diff options
| author | Marcin Chrzanowski <mc370754@students.mimuw.edu.pl> | 2021-08-09 20:47:06 -0400 |
|---|---|---|
| committer | Marcin Chrzanowski <mc370754@students.mimuw.edu.pl> | 2021-08-09 20:47:06 -0400 |
| commit | 5ac5f26dd1313874a458753743a4ed466f16a506 (patch) | |
| tree | 99050c14aae9341edeeef9d92d61abc46f217591 /.gitignore | |
| parent | b0891ac62773c4a4de26fdd782bd358ef7d2e8d4 (diff) | |
Add Theorem definition
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions