Theorem Equiv.Perm.subtypePermOfFintype_one

Modification history