Theorem Algebra.IsPushout.comp_iff

Modification history