Zulip Chat Archive
Stream: general
Topic: true_inhabited
Victor Porton (Jul 07 2018 at 15:39):
How to prove:
instance true_inhabited : inhabited true := sorry
Kenny Lau (Jul 07 2018 at 15:39):
inhabited.intro trivial
Kenny Lau (Jul 07 2018 at 15:39):
\< trivial \>
Last updated: Dec 20 2023 at 11:08 UTC