Theorem SSet.Path.arrow_tgt

Modification history