Theorem is_empty_Prop

Modification history