Open rleiva opened 2 years ago
Provide a Proposition generalizing to multiple strings the theorem that compares the lengths of the plain, joint and conditional descriptions.
Provide a Proposition generalizing to multiple strings the theorem that compares the lengths of the plain, joint and conditional descriptions.