theorem dolly_parton_refutestheorem dolly_parton_refutes(h : DollyPartonIsRichAndNotImmoral): SomeRichPersonIsNotImmoral
Published by @sam · Jul 24, 2026
View source in c065ehm2
c065ehm2
dolly_parton_refutes
1 premise