Read-only archive. Publishing has closed. GitHub
theorem dolly_parton_shows_all_rich_are_not_immoral
theorem dolly_parton_shows_all_rich_are_not_immoral
(h : DollyPartonIsRichAndNotImmoral)
: SomeRichPersonIsNotImmoral

Published by @sam ·

View source in wj5tvbgg