distinct notions of finiteness without AC

1. Aspects

Date: nil

Author: Anton Zakrewski

Created: 2024-10-13 So 15:58