Theorem CategoryTheory.pre_map

Modification history