Read-only archive. Publishing has closed. GitHub
theorem disagreement_is_contradiction
theorem disagreement_is_contradiction
(every : EveryRichPersonIsImmoral)
(some_not : SomeRichPersonIsNotImmoral)
: False

Published by @sam ·

View source in y5gfszhz