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: May 02 2025 at 03:31 UTC