Theorem Algebra.PreSubmersivePresentation.card_relations_le_card_vars_of_isFinite

Modification history