Theorem Algebra.adjoin_adjoin_coe_preimage

Modification history