diff options
| author | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-07-05 10:42:24 +0200 |
|---|---|---|
| committer | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-07-05 10:42:24 +0200 |
| commit | c580901e967c6bf0b012017a868a2c360e25370a (patch) | |
| tree | c187f17ade91555b832e3915e7c1411e293c5783 /hie.yaml | |
| parent | bff76c7fabb9f2c0b9dcac915dfa68e930baf4d4 (diff) | |
Proof of 1 is identity on the naturals and begin
of Disstributiv law naturals proof
Diffstat (limited to 'hie.yaml')
0 files changed, 0 insertions, 0 deletions