Theorem CategoryTheory.Functor.fun_inv_map

Modification history