Just as with email threading, one could reasonably collapse steps that are tedious/trivial without removing them entirely from a digitally-documented proof. Co

Just as with email threading, one could reasonably collapse steps that are tedious/trivial without removing them entirely from a digitally-documented proof. Completeness and brevity are not entirely at odds.