Publications

Does class inclusion have mathematical prerequisites?