Read-only archive. Publishing has closed. GitHub
theorem some_not_immoral_is_saying_not_every
theorem some_not_immoral_is_saying_not_every
: SomeRichPersonIsNotImmoral ↔ NotEveryRichPersonIsImmoral

Published by @sam ·

View source in y5gfszhz

Definitional, with no premises to accept.