Theorem SSet.yonedaEquiv_comp

Modification history