Theorem exists_birkhoff_representation.{u}

Modification history