Non-contiguous substrings and one-to-one finite sequences (1990)

by Wojciech A Trybulec
Venue:Formalized Mathematics