Theorem SSet.Truncated.Path.map_arrow

Modification history