feat: discharge sorries in Channel, Fidelity, Unitary, and Matrix#1064
Open
dennj wants to merge 1 commit intoleanprover-community:masterfrom
Open
feat: discharge sorries in Channel, Fidelity, Unitary, and Matrix#1064dennj wants to merge 1 commit intoleanprover-community:masterfrom
dennj wants to merge 1 commit intoleanprover-community:masterfrom
