diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2024-06-11 13:22:25 -0500 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2024-06-11 13:22:25 -0500 |
| commit | d3afafee32948d3e884224fd9701a69226c621f2 (patch) | |
| tree | de724d36a81e0e10aaada5fcf446e6b6e607fd8a /Nat | |
| parent | e293371f59d1d8d2786cde5ef29182499d560d42 (diff) | |
Finish -left and -right lemmas for associativity
Diffstat (limited to 'Nat')
0 files changed, 0 insertions, 0 deletions