feat(autograd): reduce the TapeM surface to one lemma, and prove it - #31

feat(autograd): reduce the TapeM surface to one lemma, and prove it#31

NicolasRouquette wants to merge 1 commit into

lean-dojo:mainlean-dojo/TorchLean:mainfrom

NicolasRouquette:tapem-run-lemmasNicolasRouquette/TorchLean:tapem-run-lemmasCopy head branch name to clipboard