Commit 2025-02-11 10:41 c3090b61
View on Github →chore: golf theorems using ⊥ = 1
def-eq (#21203)
See Zulip for some brief discussion on this def-eq.
chore: golf theorems using ⊥ = 1
def-eq (#21203)
See Zulip for some brief discussion on this def-eq.