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 /Makefile | |
parent | b0891ac62773c4a4de26fdd782bd358ef7d2e8d4 (diff) |
Add Theorem definition
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions