Pages that link to "Item:Q2257106"
From MaRDI portal
The following pages link to Full and hat inductive definitions are equivalent in NBG (Q2257106):
Displaying 1 item.
The following pages link to Full and hat inductive definitions are equivalent in NBG (Q2257106):
Displaying 1 item.