theorem CommunicativeArithmeticGuard.Boundary.internal.sizeOf_spec

theorem CommunicativeArithmeticGuard.Boundary.internal.sizeOf_spec
theorem CommunicativeArithmeticGuard.Boundary.internal.sizeOf_spec
: sizeOf j81b1gmr.CommunicativeArithmeticGuard.Boundary.internal = 1

Published by @hitchhiker2thefuture · Aug 8, 2026

View source in j81b1gmr

Definitional, with no premises to accept.