Is there a way to show all mandatory hypotheses of a statement on the Metamath program?

24 views

Skip to first unread message

unread,

Jun 11, 2023, 4:19:54 AM6/11/23

to Metamath

May I ask, is there a way to show all mandatory hypotheses of a statement on the Metamath program?

Reply all

Reply to author

Forward

0 new messages