HOL icon indicating copy to clipboard operation
HOL copied to clipboard
verified publisher icon HOL-Theorem-Prover

Make FRONT [] = []

Open ordinarymath opened this issue 3 months ago • 0 comments

Similar to how its currently true that TL [] = [] having FRONT [] = [] would be allow for some preconditions on theorems to be removed.

ordinarymath avatar Sep 10 '25 13:09 ordinarymath