Theorem Equiv.optionCongr_eq_equivFunctor_mapEquiv

Modification history