diff options
| author | Karl-Johan Alm <karljohan-alm@garage.co.jp> | 2020-03-25 15:21:10 +0900 |
|---|---|---|
| committer | Karl-Johan Alm <karljohan-alm@garage.co.jp> | 2020-03-25 15:28:56 +0900 |
| commit | f9e95849f337358cd89c83b948fbede3875481c3 (patch) | |
| tree | 151225ca75eeb32e7746f8707f19c985c9472088 /bip-0073.mediawiki | |
| parent | 0042dec548f8c819df7ea48fdeec78af21974384 (diff) | |
bip-322: simplify proposal to single proof case
Diffstat (limited to 'bip-0073.mediawiki')
0 files changed, 0 insertions, 0 deletions