Short thoughts and short memories around the topic: generalizing (terms in) proofs and theorems

Show full title
Archive der Universität Konstanz
Data provider's object view