Theorem SSet.Path.map_arrow

Modification history