Theorem FunLike.finite'

Modification history