Theorem CategoryTheory.Under.forget_map

Modification history