tree 3fa7cb60a6696a44edbf168a33f3695d961f12f1
parent f2993d11331b2bd3e81c08886c2529bc973b76dc
author matt venn <matt@mattvenn.net> 1661654568 +0200
committer matt venn <matt@mattvenn.net> 1661654568 +0200

formal mux proof