Read-only archive. Publishing has closed. GitHub

theorem instCrisisChoiceIsToParent

theorem instCrisisChoiceIsToParent
: ∀ (x : Type) [CrisisChoice.Is x], RightsAffectingChoice.Is x

Published by @err313 ·

View source in zpe87h9g

Definitional, with no premises to accept.