Theorem FermatPsp.base_one

Modification history