Theorem FirstOrder.Language.PartialEquiv.symm_bijective

Modification history