Theorem IsInducing.IsEmbedding.of_subsingleton

Modification history