Theorem GCongr.expect_le_expect

Modification history