Theorem PartENat.withTopEquiv_symm_coe

Modification history