Theorem Function.bijective_pi_map

Modification history