Read-only archive. Publishing has closed. GitHub

theorem mammals_can_experience

theorem mammals_can_experience
(h₁ : CNSCanExperience)
(h₂ : MammalsHaveCNS)
: MammalsCanExperience

Published by @sam ·

View source in nnzmbnte