Theorem EquivLike.bijective_comp

Modification history