Read-only archive. Publishing has closed. GitHub

theorem dolly_parton_refutes

theorem dolly_parton_refutes
(h : DollyPartonIsRichAndNotImmoral)
: SomeRichPersonIsNotImmoral

Published by @sam ·

View source in c065ehm2