Theorem RelEmbedding.inter_preimage_maximals_eq_of_subset

Modification history