Theorem CategoryTheory.Over.forget_map

Modification history